Notation

We use an abbreviated Backus Naur form for describing the syntax of commands. As usual, $\vert$ denotes alternative elements, [ ] encloses optional elements, ( ) groups elements and ... denotes zero or more repetitions of the previous element. Metasymbols are typeset in italic font and literal input in teletype font, except in running text, where we try to avoid excessive changes of font.