メタ変項

規則の記述において使用され、（恐らくは「形成規則により得られる」）あらゆる整式を代入可能