Documentation Publicon Reference Special 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 also: \[DoubleLeftTee] , \[LeftTeeArrow] , \[LeftTeeVector] , \[RightTee] , \[DownTee] , \[LeftBracketingBar] .
\[LeftTee]
lT
y is by default interpreted as LeftTee[x, y]. 
y 
z groups as (x 
y) 
z. 