Infix operator with built-in evaluation rules.
x y is by default interpreted as Implies[x, y].
x y z groups as x (y z).
Not the same as \[Superset].
See The Mathematica Book: Section 3.10.4 and Section 3.10.4.
See also: \[Implies] , \[SuchThat] , \[RightArrow] , \[Rule] .
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.