• Alias: div.
• Infix operator with built-in evaluation rules.
• x y is by default interpreted as Divide[x, y] or x / y.
• x y z groups as (x y) z.
• See Section 1.10.4 and Section 3.10.4.
• See also: \[Times] , \[Proportion] , \[Backslash] .