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