User manual

ix
Conventions
The manual uses the following conventions.