🚀 go-pugleaf

Arto V. Viitanen writes:

| Another question: How to typeset bag operators, as specified in Spivey's "The
| Z Notation - A Reference Manual", 2nd ed, page 125 ? zed.sty defines bag
| membership as a word 'in', in stead of the boxed version of the set
| membership.
| --
| Arto V. Viitanen			               email: av@uta.fi
| University Of Tampere,		   	           av@cs.uta.fi
| Finland

Try obtaining Mike's Fuzz package.  The fuzz style option (fuzz.sty) and
oxsz fonts provide the kind of symbols you want.  You will find an order
form for fuzz at the back of the zed style user guide.  All things
considered, it's defiantly worth the money.

--
Peter J. Knaggs.       School of Computing and Maths, University of Teesside,
pjk @ scm.tees.ac.uk   Middlesbrough, Cleveland, England.    +44 (642) 342673
-----------------------------------------------------------------------------
Ps: Having just completed my PhD Thesis, I am on the lookout for any good
    jobs.  Please contact me if you know of any.