This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named Characters  /
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 The Mathematica Book: Section 3.10.4.
  • See also: \[RightTeeVector], \[RightTee], \[LeftTeeArrow], \[UpTeeArrow].