1.2.2.1 Typesetting Conventions

In addition, important warnings and informative tips are marked as follows:
This is a warning.



This is a tip.



Copyright BREDEX GmbH 2011. Made available under the Eclipse Public License v1.0.