Mathematica > Special Characters >
Mathematica Character Name

\[RightTee]

  • Unicode: 22A2.
  • Alias: Esc rT Esc.
  • 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.