Up
3.4.2 簡約表現とメタ表現
マクロ定義の意味の“簡約表現の導入”に対して，“メタ表現の導入”の概念をつぎのように区別しておく。即ち，“簡約表現の導入”は，理論の書き直し──
T
Ｖ，Ｐ，
D
の変更による──を意味するものとし，“メタ表現の導入”は，理論の書き直しを意味するものではないとする。
例えば，規則：
《下付きの１をｍ個ともなうｘを，ｘ
m
のように略記する》
は，理論の書き直し──生成・変形規則を明示する形の──として述べられているときには，簡約表現の定義と見なし，そうでないときには，メタ表現使用の規則と見なす。