\[RoundImplies]
• 有内部求值规则的中缀运算符。• x y 在缺省情况下解释成 Implies[x, y]. • x y z 分组成 x (y z). • 与\[Superset]不同。• 参见Mathematica 全书：3.10.4部分.• 参见： \[Implies], \[SuchThat], \[RightArrow], \[Rule].
\[RoundImplies]
y 在缺省情况下解释成 Implies[x, y]. 
y 
z 分组成 x 
(y 
z). 
