Re: z-notation

[Pavel Sanda]

>  And I'd guess you can do it in LaTeX, though I do not know.

yes you can, guidance for latex macros is even part of the ISO standard for Z
syntax.

pavel