Infix operator with built-in evaluation rules.
x y is by default interpreted as Cross[x, y].
Not the same as \[Times].
\[Cross] represents vector cross product, while \[Times] represents ordinary multiplication.
\[Cross] is drawn smaller than \[Times].
See Section 1.10.4, Section 3.10.1 and Section 3.10.4.
See also: \[CircleTimes] .