1.2 Conventions

We use the following conventions in this manual:


Checklists and milestones are designated with a tick. Here we summarize what we want to learn or should have learned so far.


Useful information and tricks are designated by the information sign.


Potential problems and warnings are designated by a warning sign.


Examples and Code are designated by a pencil.

We use typewriter font for file names and directories.

We use sans serif font for GUI elements like menus and buttons. Menu actions are depicted by a chain of elements, separated by “$\rangle $”, e.g. File $\rangle $ Open Visualization.