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 Section 3.10.4 and Section 3.10.4.

See also: \[DoubleLeftTee] , \[LeftTeeArrow] , \[LeftTeeVector] , \[RightTee] , \[DownTee] , \[LeftBracketingBar] .