ZTC accepts two forms of input: LaTeX with oz or zed packages, and ZSL.
Oz and zed are LaTeX packages (style options) developed Paul
King and Mike Spivey, respectively, for typesetting Z in LaTeX.
ZSL is an ASCII version of Z designed by the author. ZSL is welcome by students and newcomers of Z who are not familiar with LaTeX, so they can write and type-check Z specifications without the extra hurdle of learning LaTeX. Unlike the SGML based Z interchangeable format proposed by the Z Standard Committee, which is primarily intended for tools not human readers, ZSL is designed to be readable and try to retain the visual appearance of Z specifications as much as possible. ZSL is also useful for ASCII based electronic communications, such as e-mail, involving Z specifications. ZTC can perform translations between LaTeX and ZSL.
Back to Group Page | SE Home