This is a screenshot for the software Z Word Tools. Write Z specifications in Word with these tools.