1.3 Conventions

We use the following conventions in this manual:

$\includegraphics[width=7mm]{img/tick_64.png}$
Checklists and milestones are designated with a tick. Here we summarize what we want to learn or should have learned so far.

$\includegraphics[width=7mm]{img/info_64.png}$
Useful information and tricks are designated by the information sign.

$\includegraphics[width=7mm]{img/warning_64.png}$
Potential problems and warnings are designated by a warning sign.

$\includegraphics[width=7mm]{img/pencil_64.png}$
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$ New $\rangle$ Event-B Component.

Rodin Handbook

1.3 Conventions