RuleDelayed ()

WMA link


RuleDelayed[x, y]

x :> y

represents a rule replacing x with y, with y held unevaluated.

ReplaceRepeated
Rule