1.2 Form of representation

Commands will be desribed in the following way:

<key> example command

The explanation of the command starts here, somewhat indented.

<key> here indicates the key which is to be entered at the terminal in order to choose the example command from the menu.

Sometimes menu items are marked as marginal notes.

Special keys and symbols

The key <cr> denotes the input of return, or enter, <esc> stands for escape and <space> for the space bar (about the keys <delete> and <backspace> see remarks on page in chapter 2.2).

The symbol oo means $\infty$ and is to be entered by a single <o> (see e.g. under infinite capacity in chapter 2.5.3 on page ).

Further representation forms

All example inputs, program and file extracts are shown in the same format as the original:

The text is indented and written in

a slightly smaller typewriter font.

References to the literature have the following form, where a more exact description of the reference point is not always possible: [book signature, reference point (pages)].

A description of the frequently used EBNF-syntax can be found on page of chapter 2.3.4.