\[Rule]

  • Unicode: F522.
  • Alias: ->.
  • Infix operator with built‐in evaluation rules.
  • x y is by default interpreted as x->y or Rule[x,y].
  • x y z groups as x (y z).
  • \[Rule] is not the same as \[RightArrow].