The vector cross product.
vare three-dimensional vectors
v are three-dimensional (real or complex) vectors, then
u × v is the vector cross product of
v. The product is complex iff at least one of the operands is complex.
a ≔ ❨4, 1, 2❩; b ≔ ❨1, 0, 2❩;
⎛2 ⎞ e⎜−6⎟ ⎝−1⎠
× operator can also be used for the vector cross product.