Rodin Handbook





 

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.