By the same authors

Characters + Mark-up = Z Lexis

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2002
Original languageUndefined/Unknown


The mathematical symbols in Z have caused problems for users and tool builders in the past---precisely what is allowed? ISO Standard Z answers this question. This paper considers the Z notation at the level of the individual characters that make up a specification. For Z authors: it reviews the internationalisation of Z, discusses what characters can be used in forming names, and summarises the changes made to LaTeX mark-up in ISO Standard Z. For Z tool builders: it explains the sequence of processing that is prerequisite to the lexing of a Standard Z specification, and considers in detail the processing of LaTeX mark-up.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations