RuleDelayed
\[RuleDelayed]
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). See The Mathematica Book: Section 3.10.4. See also: \[Rule] , \[Colon] , \[RightArrow] .