This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named Characters  /
RightTee

\[RightTee]
  • Alias: rT.
  • Infix operator.
  • x


    y is by default interpreted as RightTee[x,y].
  • x


    y


    z groups as x


    (y


    z).
  • Used in mathematics to indicate logical implication or proof.
  • See The Mathematica Book: Section 1.10.8, Section 3.10.4Section 3.10.4.
  • See also: \[DoubleRightTee], \[RightTeeArrow], \[RightTeeVector], \[LeftTee], \[DownTee], \[RightBracketingBar].