Z Notation
See Z Notation. This component allows you to switch between:
- Z Schema
- Z Axiom
- Z Basic
- Z Generic
Example of Z Schema
Section titled “Example of Z Schema”
Example of Z Axiom
Section titled “Example of Z Axiom”
Suggestion Box
Section titled “Suggestion Box”The Suggestion Box inside Z Notation is different — it shows a list of common symbols used in Z Notation.
Or switch to the Z Category tab for a better view
Or view all symbols as in Math Mode
