Write, check, index and diagram Z specifications 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.
LatexInWord provides macros for Microsoft Word that allow the use of LaTeX input to create equations images in both inline and display modes. Similar macros for other word processors will hopefully be added in the future.
We are currently in the process of migrating this project to GitHub:
Client: https://github.com/EngineeroLabs/latex_in_word
Server: https://github.com/EngineeroLabs/Process_LaTeX