ある分類に属す式を表すものをパターンと呼ぶ．パターンは特定の種類の式を表すパターンオブジェクトを含んでいる．

複数の同じ名前を持ったパターンオブジェクトが1つのパターン内に存在するとき，それらのオブジェクトはすべて同一の式を指していなければならない．つまり，f[x_,x_]ではf[2,2]は表せるが，f[2,3]は表せない．

_h 等のパターンオブジェクトにおいて，頭部 h はどのような式でもよいが，パターンであってはならない．

x__等のパターンオブジェクトは式の列を表す．例えば，式f[a,b,c]はパターンf[x__]で表せる．そのとき，xはSequence[a,b,c]になる．パターンで抽出した後にxを変換規則で使用したなら，規則にあるxに列が代入され，関数中の他の引数と一緒にされる．例えば，g[u,x,u]の式はg[u,a,b,c,u]になる．

関数の引数においてパターンオブジェクトx_:v，x_.は，省略可能な引数を表す．x_:v 形式の引数が省略されたときは，x には値 v が使用される．x_.形式の引数が省略されるときは，x には関数に関連付けられているデフォルト値が取られる．このデフォルト値はDefault[f]の書式を使って設定できる．

f[x__,y__,z__]のようなパターンは，さまざまなx, y, zの組合せでf[a,b,c,d,e]等とマッチする．このようなときは，まず，x，yが最小になるような組合せが試される．一般に，単一の関数に複数の__や___が使われている場合，最後尾にあるものを除いた，すべての__や___が最も短くなるような組合せが使用され，最後尾のパターンに残りがマッチする．

x_:v やx_.があるときは，どの引数も省略されていないという仮定のもとに関数の検索が行われる．その後で，後寄りの引数が省略されているとして検索が行われる．

異なる組合わせを試す順番はShortestあるいはLongestを使って変更できる．

x_のようなパターンオブジェクトは，属性Flatを備えた関数 f のどんな引数の列でも表せる．この場合，x の値は引数に f を適用したものになる．f がOneIdentityの属性を持ち，x がマッチするのが単一の引数であるなら，x には f[e]ではなく e が使われる．

割当てとは，式に対して変換規則を指定することである．割当て操作は必ず特定のシンボルに関して設けられる．

f[args]=rhs のような割当て式を入力すると，f がまず検査され，次に f の頭部が，その次に引数の頭部が，というように割当て式を関連付けするシンボルが見付かるまで検査が続けられる．

一方，lhs^=rhs のような割当て式を入力すると，左辺 lhs の引数として与えられたシンボルか，または lhs の引数の頭部に対して変換規則が設けられる．

シンボル s に関連付けられた変換規則は，決められた並び順で内部保管され，また，その順序に従い規則が適用される．新たな割当て定義を行うと，対応する変換規則は s 関連の変換規則リストの末尾に加えられることになっている．ただし，次の場合はその限りではない．

Clear，ClearAll，Removeでは，引数はシンボル，もしくは文字列としてのシンボルの名前として与える．文字列の引数にメタ文字の*および@を入れて，パターンにマッチする名前のシンボルに対するアクションを指定することができる．

Clear，ClearAll，Removeは属性Protectedを持つシンボルに対しては何も行わない．

変換規則に現れるパターン変数に対する置換操作は，ReplaceAll（または，演算子/.）を使い行われる．