\[Rule]

  • Unicode: F522.
  • エイリアス:->
  • 評価規則組込みの中置形演算子.
  • x y はデフォルトで x->y またはRule[x,y]として解釈される.
  • x y zx (y z)とグループ分けされる.
  • \[Rule]\[RightArrow]とは異なる.