This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Mathematica Character Name


  • 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.