This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
MATHEMATICA CHARACTER NAME

\[LeftTee]

  • Unicode: 22A3.
  • Alias: Esc lT Esc.
  • Infix operator.
  • x y is by default interpreted as .
  • x y z groups as (x y) z.
  • Used in mathematics to indicate the lack of logical implication or proof.