Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Special Characters >
Mathematica Character Name

\[LeftTee]

  • Unicode: 22A3.
  • Alias: Esc lT Esc.
  • Infix operator.
  • x ⊣ y is by default interpreted as LeftTee[x, y].
  • x ⊣ y ⊣ z groups as (x ⊣ y) ⊣ z.
  • Used in mathematics to indicate the lack of logical implication or proof.
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team