RuleDelayed (⧴)

WMA link


RuleDelayed[x, y]

x :> y

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

← ReplaceRepeated
→ Rule