Download ProB User Manual - Electronics and Computer Science

1
Typographic Conventions
Throughout this document a shorthand notation is used to refer to menus and options present
in ProB. This convention, plus others, are detailed below.
1.1
Hints and Pitfalls
This text would indicate a potential problem or situation where ProB behaviour may be
contrary to what is expected. Take careful note of the text of pitfalls.
This text indicates a helpful suggestion to improve ProB behaviour or user interaction with
ProB.
1.2
Menus
The text from the title of a menu, a command in a menu, a preference, a part of the main
ProB window, or certain operation names is displayed in a specific font. For example
File, or State Properties. The name of an operation is displayed in italic font, for example
initialise constants. Text in the B notation is displayed with another font, for example
MACHINE.
Navigation between the menus is shown using the symbol →. For example File→Open for the
Open command of the File menu.
1