\[DoubleRightTee]
• 中缀运算符.• x y 在缺省情况下解释为 DoubleRightTee[x, y]. • x y z 分组成 x (y z). • 用在数学中表示各种强逻辑隐含形式－经常重复隐含。• 前缀形式用于表示重复。• 参见Mathematica 全书：3.10.4和3.10.4部分.• 参见： \[RightTee], \[DoubleLeftTee].
\
