Infix arrow operator.
x y is by default interpreted as RightTeeArrow[x, y].
Used in mathematics to indicate a transformation, often the action of a mapping on a specific element in a space.
Also used in logic to indicate deducibility.
See Section 3.10.4.
See also: \[RightTeeVector] , \[RightTee] , \[LeftTeeArrow] , \[UpTeeArrow] .