z-eves.sty.txt - 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

z-eves.sty.txt - Z/EVES style file A modified version of...

This preview shows page 1 - 3 out of 11 pages.

%% 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
Image of page 1
\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}
Image of page 2
Image of page 3

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture