Z Word Tools

Z Word Tools are a collection of tools for editing, checking and using Z specifications within Microsoft Word.

It includes a unicode font for Z symbols and capabilities for editing, typechecking, creating diagrams, indexing & cross referencing. The app supports large specifications in multiple Word documents.