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