This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named Characters  /
LeftTee

\[LeftTee]
  • Alias: lT.
  • 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.
  • See The Mathematica Book: Section 3.10.4Section 3.10.4.
  • See also: \[DoubleLeftTee], \[LeftTeeArrow], \[LeftTeeVector], \[RightTee], \[DownTee], \[LeftBracketingBar].