変数を値で置換する：

変数をリストで置換する：

式の頭部を置換する：

パターンを使って変数をマッチする部分と結び付ける：

最初にマッチする規則を適用する：

各規則を別々に適用する：

ReplaceAllの演算子形を使う：

マッチする規則がない場合は，もとの式が返される：

式を1つの引数とマッチする：

式を1つまたは複数の引数とマッチする：

式を0個以上の引数をマッチする：

式を特定の頭部とマッチする：

PatternTestを使って検定関数が適用されたときにTrueを返す部分を置換する：

Conditionを使ってブール式を満足する部分に制限する：

ペアのペアを置換する：

パターンを制限して内側の各ペアを置換する：

ReplaceAllはRuleDelayedでも使うことができる：

ホールドされた式に構造的に挿入する：

置換前に規則の右辺は評価しない：

置換前に右辺を評価する：

Dispatchを規則のリストの代りに使うことができる：

Associationを規則のリストの代りに使うことができる：

Associationを置換のパターンとして使う：

KeyValuePatternを使って規則のリストを置換する：

Associationから規則にマッチするキーを抽出する：

基準を満たす規則のリストからキーを求める：

空リストはマッチする規則がないとみなされる：

置換にリストのリストが使われたとき，結果は同じ長さのリストになる：

マッチする最初の規則のみが各部分に適用される：

ReplaceAllに反復呼出しを使って各規則をすべての部分に適用する：

ホールドされた式に置換する際は，評価は強制されない：

ReplaceAllはマッチする任意の部分を置換する：

Replaceは，デフォルトで，式全体を置換する：

特定のレベルの置換も行うことができる：

ReplaceAllは可能な限り最大の部分式を置換し，そこで停止する：

ReplaceRepeatedは式が変化しなくなるまでReplaceAllを繰り返し適用する：

レベル指定がAllのReplaceは，各部分式を厳密に1回置換しようとする：

ReplaceAllはパターンにマッチする式の部分を置換する：

ReplacePartは位置がパターンにマッチする式の部分を置換する：

規則の長いリストの適用には時間がかかる：

Dispatchを使うとずっと速くなる：

連想を使って置換規則を指定することができるが，キーはVerbatimの値として扱われる：

以下と比較する：

連想と等価な規則のリストは以下である：

点は数よりスラッシュと強く結び付く．したがって，次は割り算になる：

/.と数の間にスペースを挿入してこの問題を回避する：

ほとんどのパターンは連想の値と飲み比較される：

Associationとマッチする複合パターンについては，内側のパターンがキーと値の両方とマッチされる：

Associationにマッチする頭部を除くことで，値との比較のみを行う：