Alternatives

| | ... は，任意のパターンを表すパターンオブジェクトである．

例：_Integer | _Realは，頭部IntegerやRealを表すオブジェクトである．

すべてのパターンの中に同じパターン名が使用されない限り，これらのパターン名を変換規則の右辺に使用することはできない．したがって，例えば，a[x_] | b[x_]を変換する場合xを使用することができるが，a[x_] | b[y_]の変換にはxもyも使用することができない．

参照セクション：2.3.6.

次も参照：Optional．

バージョン2の新関数

他の例