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.
Full paper : PDF 319K
@inproceedings(SS-ZB-02, author = "Ian Toyn and Susan Stepney", title = "Characters + Mark-up = {Z} Lexis", pages = "100--119", crossref = "ZB-02" ) @proceedings(ZB-02, title = "ZB2002: Second International Conference of B and Z Users, Grenoble, France, January 2002", booktitle = "ZB2002: Second International Conference of B and Z Users, Grenoble, France, January 2002", editor = "Didier Bert and Jonathan P. Bowen and Martin C. Henson and Ken Robinson", series = "LNCS", volume = 2272, publisher = "Springer", year = 2002 )