This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / The Mathematica Book / Mathematica Reference Guide / Patterns and Transformation Rules /

A.5.5 Transformation Rules

The two basic types of transformation rules in Mathematica.

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