The version is 1.4, Z Word Tools, write Z specifications in Word with these tools. The Z Word tools are a collection of tools for editing, checking and using Z specifications within Microsoft Word. This page is a guide to information about the tools. Includes a unicode font for Z symbols and capabilities for editing, typechecking,...