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