zed – Typeset Z specifications

A LaTeX 2.09 pack­age for the task; it has been re-im­ple­mented for cur­rent LaTeX in zed2e and Ob­jectZ.
Note that this pack­age, as it stands, uses the MSX and MSY fonts, which are no longer avail­able (though vir­tual fonts are avail­able that map them to the more re­cent MSA and MSB fonts.