Mike Spivey's zed-style for LaTeX

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Peter J Knaggs Tue, 27 Oct 1992 10:36

Author: Peter J Knaggs
Date: Tue, 27 Oct 1992 10:36

23 lines
1341 bytes

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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads