Overview

This is an experimental fork of the Fuzz the Z notation tool by Mike
Spivey.

Goals of the project:
* add newer Latex versions
* support latex output