This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Mathematica Character Name


  • Unicode: 21A6.
  • Infix arrow operator.
  • 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.