Пример правила подстановки

[arseniiv]

(Оффтоп)

Конечно, надо знать, какой переменной является буква, или какую переменную обозначает метапеременная-буква (в моём случае только метапеременные и были, но там и неоднозначности не было — они относились только к пропозициональному языку).