%% Z/EVES style file
%%
%% A modified version of zed-csp.sty, plus some extra definitions for
%% Z/LaTeX.
% >>> zed-csp.sty <<<
%
% (c) Jim Davies, January 1995
% You may copy and distribute this file freely.
Any queries and
% complaints should be forwarded to [email protected]
% If you make any changes to this file, please do not distribute
% the results under the name `zed-csp.sty'.
% >>> information <<<
% This is a LaTeX2e package for typesetting Z and CSP notation.
It
% employs the standard (JMS) set of macros, but uses the AMS fonts in
% place of `oxsy'.
You will need the tfm and fd files for the `A' and
% `B' symbol fonts installed.
This requires (1) the AMSFONTS package
% and (2) the MFNFSS package for LaTeX2e.
% If you have the Lucida Bright font set from Y&Y, then you can use
% that instead.
In this case, you have only to load `lucbr' (from the
% PSNFSS package) before `zed-csp'.
% >>> changes <<<
% version 0
(Sep 94): first attempt
% version 0a (Oct 94): fixed error in definition of \cat
% version 0b (Nov 94): added composite for \uminus
% version 0c (Jan 95): removed definition of \emptyset
% >>> date and version <<<
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{z-eves}[97/09/18]
% >>> fonts and symbols <<<
% We declare a new math version.
For convenience, I have chosen the
% same name as that used in oz.sty.
The following code is based upon
% the work of Paul King, Sebastian Rahtz, and Mike Spivey.
Alan
% Jeffrey's influence is everywhere.
\@ifpackageloaded{lucbr}{}{%
\DeclareMathVersion{zed}
\SetMathAlphabet{\mathrm}{zed}{\encodingdefault}{\rmdefault}{m}{n}%
\SetMathAlphabet{\mathbf}{zed}{\encodingdefault}{\rmdefault}{bx}{n}%
\SetMathAlphabet{\mathsf}{zed}{\encodingdefault}{\sfdefault}{m}{n}%
\DeclareSymbolFont{italics}{\encodingdefault}{\rmdefault}{m}{it}%
\DeclareSymbolFontAlphabet{\mathrm}{operators}
\DeclareSymbolFontAlphabet{\mathit}{letters}
\DeclareSymbolFontAlphabet{\mathcal}{symbols}
\DeclareSymbolFontAlphabet{\zedit}{italics}
\DeclareSymbolFont{lasy}{U}{lasy}{m}{n}
\DeclareSymbolFont{AMSa}{U}{msa}{m}{n}
\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}
\let\mho\undefined
\let\Join\undefined
\let\Box\undefined
\let\Diamond\undefined
\let\leadsto\undefined
\let\sqsubset\undefined
\let\sqsupset\undefined
\let\lhd\undefined
\let\unlhd\undefined
\let\rhd\undefined
\let\unrhd\undefined
\DeclareMathSymbol{\mho}{\mathord}{lasy}{"30}
\DeclareMathSymbol{\Join}{\mathrel}{lasy}{"31}
\DeclareMathSymbol{\Box}{\mathord}{lasy}{"32}
\DeclareMathSymbol{\Diamond}{\mathord}{lasy}{"33}
\DeclareMathSymbol{\leadsto}{\mathrel}{lasy}{"3B}
\DeclareMathSymbol{\sqsubset}{\mathrel}{lasy}{"3C}
\DeclareMathSymbol{\sqsupset}{\mathrel}{lasy}{"3D}
\DeclareMathSymbol{\lhd}{\mathrel}{lasy}{"01}
\DeclareMathSymbol{\unlhd}{\mathrel}{lasy}{"02}
\DeclareMathSymbol{\rhd}{\mathrel}{lasy}{"03}
\DeclareMathSymbol{\unrhd}{\mathrel}{lasy}{"04}
\DeclareSymbolFontAlphabet{\bbold}{AMSb}
\mathversion{zed}
}
\@ifpackageloaded{lucbr}{%
\DeclareMathSymbol{\doublebarwedge}{\mathbin}{symbols}{"D4}
\DeclareMathSymbol{\lll}{\mathrel}{letters}{"DE}
\DeclareMathSymbol{\ggg}{\mathrel}{letters}{"DF}
\DeclareMathSymbol{\eth}{\mathrel}{operators}{"F0}
}{%
\let\rightleftharpoons\undefined
\let\angle\undefined
\DeclareMathSymbol\boxdot{\mathbin}{AMSa}{"00}
\DeclareMathSymbol\boxplus{\mathbin}{AMSa}{"01}
\DeclareMathSymbol\boxtimes{\mathbin}{AMSa}{"02}
\DeclareMathSymbol\square{\mathord}{AMSa}{"03}
