Category:Z notation
The main article for this
category
is
Z notation
.