\[LeftTee]
• 别名:lT. • 中缀运算符。• x y在缺省情况下解释为 LeftTee[x, y]. • x y z 分组成 (x y) z. • 用在数学中表示逻辑隐含或证明的缺少。• 参见Mathematica 全书：3.10.4部分.• 参见： \[DoubleLeftTee], \[LeftTeeArrow], \[LeftTeeVector], \[RightTee], \[DownTee], \[LeftBracketingBar].
\[LeftTee]
lT. 
y在缺省情况下解释为 LeftTee[x, y]. 
y 
z 分组成 (x 
y) 
z. 
