docs/opt-coercion/denot.sty

   1 % $Id: denot.sty,v 1.2 2005/05/18 08:31:50 simonpj Exp $
   2 %
   3 % denot.tex - symbols for denotational semantics
   4 %
   5 % Last updated: <mbs@cse.ogi.edu 15-Mar-2001 15:56:35>
   6 %
   7
   8 % Use plain italics instead of math italics in math mode
   9 \DeclareSymbolFont{plainletters}{OT1}{cmr}{m}{it}
  10 \DeclareMathSymbol{a}{\mathalpha}{plainletters}{"61}
  11 \DeclareMathSymbol{b}{\mathalpha}{plainletters}{"62}
  12 \DeclareMathSymbol{c}{\mathalpha}{plainletters}{"63}
  13 \DeclareMathSymbol{d}{\mathalpha}{plainletters}{"64}
  14 \DeclareMathSymbol{e}{\mathalpha}{plainletters}{"65}
  15 \DeclareMathSymbol{f}{\mathalpha}{plainletters}{"66}
  16 \DeclareMathSymbol{g}{\mathalpha}{plainletters}{"67}
  17 \DeclareMathSymbol{h}{\mathalpha}{plainletters}{"68}
  18 \DeclareMathSymbol{i}{\mathalpha}{plainletters}{"69}
  19 \DeclareMathSymbol{j}{\mathalpha}{plainletters}{"6A}
  20 \DeclareMathSymbol{k}{\mathalpha}{plainletters}{"6B}
  21 \DeclareMathSymbol{l}{\mathalpha}{plainletters}{"6C}
  22 \DeclareMathSymbol{m}{\mathalpha}{plainletters}{"6D}
  23 \DeclareMathSymbol{n}{\mathalpha}{plainletters}{"6E}
  24 \DeclareMathSymbol{o}{\mathalpha}{plainletters}{"6F}
  25 \DeclareMathSymbol{p}{\mathalpha}{plainletters}{"70}
  26 \DeclareMathSymbol{q}{\mathalpha}{plainletters}{"71}
  27 \DeclareMathSymbol{r}{\mathalpha}{plainletters}{"72}
  28 \DeclareMathSymbol{s}{\mathalpha}{plainletters}{"73}
  29 \DeclareMathSymbol{t}{\mathalpha}{plainletters}{"74}
  30 \DeclareMathSymbol{u}{\mathalpha}{plainletters}{"75}
  31 \DeclareMathSymbol{v}{\mathalpha}{plainletters}{"76}
  32 \DeclareMathSymbol{w}{\mathalpha}{plainletters}{"77}
  33 \DeclareMathSymbol{x}{\mathalpha}{plainletters}{"78}
  34 \DeclareMathSymbol{y}{\mathalpha}{plainletters}{"79}
  35 \DeclareMathSymbol{z}{\mathalpha}{plainletters}{"7A}
  36 \DeclareMathSymbol{A}{\mathalpha}{plainletters}{"41}
  37 \DeclareMathSymbol{B}{\mathalpha}{plainletters}{"42}
  38 \DeclareMathSymbol{C}{\mathalpha}{plainletters}{"43}
  39 \DeclareMathSymbol{D}{\mathalpha}{plainletters}{"44}
  40 \DeclareMathSymbol{E}{\mathalpha}{plainletters}{"45}
  41 \DeclareMathSymbol{F}{\mathalpha}{plainletters}{"46}
  42 \DeclareMathSymbol{G}{\mathalpha}{plainletters}{"47}
  43 \DeclareMathSymbol{H}{\mathalpha}{plainletters}{"48}
  44 \DeclareMathSymbol{I}{\mathalpha}{plainletters}{"49}
  45 \DeclareMathSymbol{J}{\mathalpha}{plainletters}{"4A}
  46 \DeclareMathSymbol{K}{\mathalpha}{plainletters}{"4B}
  47 \DeclareMathSymbol{L}{\mathalpha}{plainletters}{"4C}
  48 \DeclareMathSymbol{M}{\mathalpha}{plainletters}{"4D}
  49 \DeclareMathSymbol{N}{\mathalpha}{plainletters}{"4E}
  50 \DeclareMathSymbol{O}{\mathalpha}{plainletters}{"4F}
  51 \DeclareMathSymbol{P}{\mathalpha}{plainletters}{"50}
  52 \DeclareMathSymbol{Q}{\mathalpha}{plainletters}{"51}
  53 \DeclareMathSymbol{R}{\mathalpha}{plainletters}{"52}
  54 \DeclareMathSymbol{S}{\mathalpha}{plainletters}{"53}
  55 \DeclareMathSymbol{T}{\mathalpha}{plainletters}{"54}
  56 \DeclareMathSymbol{U}{\mathalpha}{plainletters}{"55}
  57 \DeclareMathSymbol{V}{\mathalpha}{plainletters}{"56}
  58 \DeclareMathSymbol{W}{\mathalpha}{plainletters}{"57}
  59 \DeclareMathSymbol{X}{\mathalpha}{plainletters}{"58}
  60 \DeclareMathSymbol{Y}{\mathalpha}{plainletters}{"59}
  61 \DeclareMathSymbol{Z}{\mathalpha}{plainletters}{"5A}
  62
  63 \def\@myop#1{\mathop{\mathstrut{#1}}\nolimits}
  64
  65 % \def\pset    {\@myop{\bbold P}}
  66 % \def\pset    {\@myop{\wp}}
  67 \def\pset       {\@myop{\cal P}}
  68
  69 \def\lquote     {[\![}
  70 \def\rquote     {]\!]}
  71 \let\approx=    \cong
  72 \def\lnot       {\neg\;}
  73 \def\land       {\mathrel{\wedge}}
  74 \def\lor        {\mathrel{\vee}}
  75 \def\lxor       {\mathrel{\oplus}}
  76 \let\implies=   \Rightarrow
  77 \let\infers=    \Leftarrow
  78 \let\iff=       \Leftrightarrow
  79 \let\biim=      \leftrightarrow
  80 \let\fun=       \rightarrow
  81 %\def\sum        {\mathbin{+}}
  82 %\let\prod=     \times
  83 %\let\cross=    \times
  84 \let\bottom=    \perp
  85
  86 \def\biglub     {\@myop{\bigsqcup}}
  87 \def\bigglb     {\mathop{\lower.1ex\hbox{\Large$\sqcap$}}}
  88 \def\join       {\mathbin{\sqcup}}
  89 \def\meet       {\mathbin{\sqcap}}
  90 \def\lub        {\mathop{\sqcup}}
  91 \def\glb        {\mathop{\sqcap}}
  92 \def\union      {\mathbin{\cup}}
  93 \def\inter      {\mathbin{\cap}}
  94 \def\bigunion   {\@myop{\bigcup}}
  95 \def\biginter   {\@myop{\bigcap}}
  96 \def\bigconcat  {\mathop{\text{\bf\large +\hspace*{-0.42em}+}}}
  97 \def\bigbigconcat{\mathop{\text{\bf\LARGE +\hspace*{-0.38em}+}}}
  98
  99 \def\lset       {\mathopen{\{}}
 100 \def\rset       {\mathclose{\}}}
 101 \def\biglset    {\mathopen{\Bigl\}}}
 102 \def\bigrset    {\mathclose{\Bigr\}}}
 103 \def\power      {\mathbin{\uparrow}}
 104 \def\relset     {\@myop{\Re}}
 105 \def\entails    {\mathrel{\vdash}}
 106 \def\comp       {\mathbin{\circ}}
 107 \def\ccomp      {\mathbin{\bullet}}
 108 \def\seq        {\mathclose{\ast}}
 109
 110 \def\eqdef      {\overset{\text{\tiny def}}{=}}
 111 \def\eqq        {\overset{?}{=}}
 112
 113 \def\set#1{\lset #1 \rset}
 114 \def\denot#1{[\![ #1 ]\!]}
 115 % \def\state#1#2{\langle #1 \mid #2 \rangle}
 116
 117 % eof
 118
 119
 120