When terms and formulas are represented as strings of symbols, these rules can be used to write a formal grammar for terms and formulas.
Pokud jsou termy a formule reprezentovány řetězci symbolů, mohou být tato pravidla použita k sepsání formální gramatiky pro termy a formule.