• Infix arrow operator. • xy 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. • Extensible character. • See also: \[RightTeeVector] , \[RightTee] , \[LeftTeeArrow] , \[UpTeeArrow] .
\[RightTeeArrow]
y is by default interpreted as RightTeeArrow[x, y]. 