Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicodefont for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
...It does not work with X fonts.
The program can "explode" existing PSF2 fonts, creating an human-readable graphical representation of each glyph which can then be re-compiled into a PSF2 font. The project supports the use of unicode tables at the end of fonts, but currently (Dec, 2012) not fully (sequences are not supported), but this should be simple to amend.