若 A 為合式，則下式：

表示 α 代表 A。

α 為式變元，式變元以希臘字母表示。