A.5.5 Transformation Rules

lhs -> rhs	immediate rule: rhs is evaluated when the rule is first given
lhs :> rhs	delayed rule: rhs is evaluated when the rule is used

Replacements for pattern variables that appear in transformation rules are effectively done using ReplaceAll (the /. operator).