\[LeftTee]

  • Unicode: 22A3.
  • 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 Also

\[DoubleLeftTee]  \[LeftTeeArrow]  \[LeftTeeVector]  \[RightTee]  \[DownTee]  \[LeftBracketingBar]

Tutorials

Introduced in 1996
(3.0)