\[RightTeeArrow]

• Unicode: 21A6.

• 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.