Implies \[Implies]
• 别名: =>.
• 有内部求值规则的中缀运算符。
• x  y 在缺省情况下解释为 Implies[x, y].
• x  y  z 分组成 x  (y  z).
• 与\[DoubleRightArrow]不同.
• \[DoubleRightArrow]是可扩展的；而\[Implies]不是。
• 参见Mathematica 全书： 1.10.4, 3.10.1, 3.10.4 和3.10.4部分.
• 参见： \[RoundImplies], \[SuchThat], \[RightArrow], \[Rule].
|
