Z toolkit sections
This is a repository of freely reusable Z toolkit sections. It provides mark-up for the sections of the Standard Z toolkit, as well as other additional sections. Offers of further sections may be directed to Ian Toyn.
| Section name | Description | Mark-ups |
| prelude | Standard operations on literals | Standard LaTeX |
| set_toolkit | Standard operations on sets | Standard LaTeX |
| relation_toolkit | Standard operations on relations | Standard LaTeX |
| function_toolkit | Standard operations on functions | Standard LaTeX |
| number_toolkit | Standard operations on numbers | Standard LaTeX |
| sequence_toolkit | Standard operations on sequences | Standard LaTeX |
| bagkit | Operations on bags (multisets) | Standard LaTeX |
| numdefs | Operations on numbers (reals and fractions) | Standard LaTeX + comments |
The following are latex style files used by some of the above toolkits.
Index of resources
Home page of the Z standards effort
Last modified on January 17th, 2002