язык формул

Мат. language of formulas