DocumentationMathematicaMathematicaブックMathematicaリファレンス ガイドパターンと変換規則
A.5.5 変換規則
2つの変換規則の基本型
変換規則に現れるパターン変数に対する置換操作は,ReplaceAll(または,演算子/. )を使い行われる.