objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
|Licenses||The LaTeX Project Public License|
David Leadbetter (inactive)
Sebastian Rahtz pkg.author.died
|Contained in||TeX Live as objectz|
MiKTeX as objectz
Download the contents of this package in one zip archive (275.5k).
Maybe you are interested in the following packages as well.
- ebnf: Simple package for EBNF productions
- braille: Support for braille
- dvistd: A standard for DVI drivers
- gensymb: Generic symbols for both text and math mode