\[RuleDelayed]

  • Unicode: F51F.
  • Alias: :>.
  • Infix operator with built‐in evaluation rules.
  • x y is by default interpreted as x:>y or RuleDelayed[x,y].
  • x y z groups as x (y z).