Convert your ascii diagram scribbles into happy little SVG
Svgbob can create a nice graphical representation of your text diagrams. Svgbob provides a cli that takes text as input and creates an svg image as an output. Svgbob is a diagramming model which uses a set of typing characters to approximate the intended shape.
Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font 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.