:> \[RuleDelayed]
• 别名::>. • 有内建求值规则的中缀运算符。• x y 在缺省情况下解释成 x :> y 或 RuleDelayed[x, y]. • x y z 分组成 x (y z). • 参见Mathematica 全书:3.10.4部分.• 参见: \[Rule], \[Colon], \[RightArrow].