🚀 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 stea 
d of the boxed version of the set
> membership.
> --
> Arto V. Viitanen			               email: av@uta.fi
> University Of Tampere,		   	           av@cs.uta.fi
> Finland

If you've got the AMS-Fonts loaded you may try this:

	\def \inbag		{\z@rel{\rlap{$-$}}\sqsubset}

This is definitely NOT a perfect solution (it looks wrong in some resolutions) but an acceptable workaround.
_______________________________________
Hartmut Benz                          | benz@infko.uni-koblenz.de
D-5400 Koblenz, Germany               |       (NeXTmail ok)
ls Abhilfe sind mir bisher folgende 'Kruecken' eingefallen:
	1) Als zoo (o.ae.) archivieren, auf Diskette kopieren und da wieder
	   auspacken.
	2) Auf einer Station mit NS 2.x kopieren gehen.

Wenn ich mal zuviel Zeit haben sollte (bzw. keine andere Wahl mehr habe), werde ich mich mal hinsetzen und ein hilfreiches kleines Utility schreiben...

--
			Tschoe'wa
_______________________________________
Hartmut Benz                          | benz@infko.unid of the boxed version of the set
> membership.
> --
> Arto V. Viitanen			               email: av@uta.fi
> University Of Tampere,		   	           av@cs.uta.fi
> Finland

If you've got the AMS-Fonts loaded you may try this:

	\def \inbag		{\z@rel{\rlap{$-$}}\sqsubset}

This is definitely NOT a perfect solution (it looks wrong in some resolutions) but an acceptable workaround.
_______________________________________
Hartmut Benz                          | benz@infko.uni-koblenz.de
D-5400 Koblenz, Germany               |       (NeXTmail ok)
ls Abhilfe sind mir bisher folgende 'Kruecken' eingefallen:
	1) Als zoo (o.ae.) archivieren, auf Diskette kopieren und da wieder
	   auspacken.
	2) Auf einer Station mit NS 2.x kopieren gehen.

Wenn ich mal zuviel Zeit haben sollte (bzw. keine andere Wahl mehr habe), werde ich mich mal hinsetzen und ein hilfreiches kleines Utility schreiben...

--
			Tschoe'wa
_______________________________________
Hartmut Benz                          | benz@infko.uni-koblenz.de
D-5400 Koblenz, Germany               |       (NeXTmail ok)