\[RightTee]

  • Unicode: 22A2.
  • 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 Also

\[DoubleRightTee]  \[RightTeeArrow]  \[RightTeeVector]  \[LeftTee]  \[DownTee]  \[RightBracketingBar]

Tutorials

Introduced in 1996
(3.0)