- bedeutet ,,oder``
- [ ...] eckige Klammern bedeuten optional.
- { ...} bedeutet ,,0 oder n-mal``.
- ' ...' kennzeichnet Text, der wörtlich zu nehmen ist.
- ( ...) runde Klammern können zur Gruppierung benutzt werden.
- <...> Abkapslung eines Begriffs.
- empty bedeutet die leere Menge.
Georg Loczewski
2003-08-07