# zed – Typeset Z specifications

A LaTeX 2.09 package for the task; it has been re-implemented for current LaTeX in zed2e and ObjectZ.

Note that this package, as it stands, uses the MSX and MSY fonts, which are no longer available (though virtual fonts are available that map them to the more recent MSA and MSB fonts.

Sources | `/macros/latex209/contrib/zed` |

Version | 1988-02-15 |

License | Unknown Status, No Information Available |

Maintainer | Mike Spivey |

Topics |
typeset formal specification languages package only known to work with LaTeX 2.09 |

Download the contents of this package in one zip archive (8.8k).

## Suggestions

Maybe you are interested in the following packages as well.

- ebnf: Simple package for EBNF productions
- backnaur: Typeset Backus Naur Form definitions
- bnf-plain: Plain TeX macros for BNF grammars
- exam209: Process exam questions and answers (LaTeX 2.09)