Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!bloom-beacon!eru!luth!sunic!mcsun!ukc!kl-cs!nott-cs!ucl-cs!M.Imperato
From: M.Imperato@ucl-cs.UUCP
Newsgroups: comp.sys.mac
Subject: The Z Formal Specification Language
Message-ID: <446@ucl-cs.UUCP>
Date: 19 Oct 89 12:33:52 GMT
Sender: M.Imperato@ucl-cs.UUCP
Lines: 19

From: Michael Imperato <M.Imperato@uk.ac.ucl.cs>


Is there anyone out there who has tried to print a Z document from a Mac
onto a Laserwriter?

I am having problems finding a font which contains the weird and wonderful
symbols used in Z. Can anyone help?

Thanks.

Michael Imperato,
(M.Imperato@ucl-cs.uucp)
(M.Imperato@uk.ac.ucl.cs   JANET)

Department of Computer Science,
University College London,
Gower Street,
LONDON WC1E 6BT.