\[DoubleLeftTee]
• 中缀运算符.• x y 在缺省情况下解释为 DoubleLeftTee[x, y]. • x y z 分组成 (x y) z. • 用在数学中表示 从 y到x 的各种强逻辑蕴涵形式－经常是同义蕴涵。• 参见Mathematica 全书：3.10.4和3.10.4部分.• 参见： \[LeftTee], \[DoubleRightTee].
\
