RightTeeArrow

\[RightTeeArrow]

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.

Extensible character.

See Section 3.10.4.

See also: \[RightTeeVector] , \[RightTee] , \[LeftTeeArrow] , \[UpTeeArrow] .