Frequent Syntax

We mention here syntax that is introduced by the modules. Some modules directly introduce new syntax operators. Some modules indirectly introduce new rule or goal formats by corresponding expansion rules:

Kommentare