When used for syntax it close enough to EBNF to be called XBNF. The following special forms are used in syntax
*New* Proposed standard lexemes for ASCII/EMail: [ z.lexis.html ]
There is a computerized code developed at York University England and tools that translate that into TeX.
There is an excellent simple text that shows how to use Z to specify digital systems:
Email Form
+..
Decls
|--
Axioms
-..It looks like this:
| Decls
|-------
| Axioms
+-- Name ---
Decls
---
giving
-------Name----------
| Decls
--------------or
+-- Name ---
Decls
|--
Axioms
---giving this kind of thing:
-------Name----------
| Decls
|--------------
| Axioms
----------------------
Email:
+== [Para] ===
Decls
|--
Axioms
-==
giving this kind of thing:
======[Para]======
| Decls
|------------
| Axioms
------------
Name | Binding power | associativity | TeX | MATHS | |
---|---|---|---|---|---|
and | 7 | left | /\ | ∧ | and |
or | 6 | left | \/ | ∨ | or |
implies | 5 | right | ==> | \implies | if_then_ |
iff | 4 | left | <=> | \iff | iff |
hide | 3 | left | | | \vbar | some |
rename | 2 | left | \ | ? | => |
compose | 1 | left | %%; | \bbfont ; | ; |
. . . . . . . . . ( end of section Syntax of The Formal Specification Language Z) <<Contents | End>>