% $Id: denot.sty,v 1.2 2005/05/18 08:31:50 simonpj Exp $ % % denot.tex - symbols for denotational semantics % % Last updated: % % Use plain italics instead of math italics in math mode \DeclareSymbolFont{plainletters}{OT1}{cmr}{m}{it} \DeclareMathSymbol{a}{\mathalpha}{plainletters}{"61} \DeclareMathSymbol{b}{\mathalpha}{plainletters}{"62} \DeclareMathSymbol{c}{\mathalpha}{plainletters}{"63} \DeclareMathSymbol{d}{\mathalpha}{plainletters}{"64} \DeclareMathSymbol{e}{\mathalpha}{plainletters}{"65} \DeclareMathSymbol{f}{\mathalpha}{plainletters}{"66} \DeclareMathSymbol{g}{\mathalpha}{plainletters}{"67} \DeclareMathSymbol{h}{\mathalpha}{plainletters}{"68} \DeclareMathSymbol{i}{\mathalpha}{plainletters}{"69} \DeclareMathSymbol{j}{\mathalpha}{plainletters}{"6A} \DeclareMathSymbol{k}{\mathalpha}{plainletters}{"6B} \DeclareMathSymbol{l}{\mathalpha}{plainletters}{"6C} \DeclareMathSymbol{m}{\mathalpha}{plainletters}{"6D} \DeclareMathSymbol{n}{\mathalpha}{plainletters}{"6E} \DeclareMathSymbol{o}{\mathalpha}{plainletters}{"6F} \DeclareMathSymbol{p}{\mathalpha}{plainletters}{"70} \DeclareMathSymbol{q}{\mathalpha}{plainletters}{"71} \DeclareMathSymbol{r}{\mathalpha}{plainletters}{"72} \DeclareMathSymbol{s}{\mathalpha}{plainletters}{"73} \DeclareMathSymbol{t}{\mathalpha}{plainletters}{"74} \DeclareMathSymbol{u}{\mathalpha}{plainletters}{"75} \DeclareMathSymbol{v}{\mathalpha}{plainletters}{"76} \DeclareMathSymbol{w}{\mathalpha}{plainletters}{"77} \DeclareMathSymbol{x}{\mathalpha}{plainletters}{"78} \DeclareMathSymbol{y}{\mathalpha}{plainletters}{"79} \DeclareMathSymbol{z}{\mathalpha}{plainletters}{"7A} \DeclareMathSymbol{A}{\mathalpha}{plainletters}{"41} \DeclareMathSymbol{B}{\mathalpha}{plainletters}{"42} \DeclareMathSymbol{C}{\mathalpha}{plainletters}{"43} \DeclareMathSymbol{D}{\mathalpha}{plainletters}{"44} \DeclareMathSymbol{E}{\mathalpha}{plainletters}{"45} \DeclareMathSymbol{F}{\mathalpha}{plainletters}{"46} \DeclareMathSymbol{G}{\mathalpha}{plainletters}{"47} \DeclareMathSymbol{H}{\mathalpha}{plainletters}{"48} \DeclareMathSymbol{I}{\mathalpha}{plainletters}{"49} \DeclareMathSymbol{J}{\mathalpha}{plainletters}{"4A} \DeclareMathSymbol{K}{\mathalpha}{plainletters}{"4B} \DeclareMathSymbol{L}{\mathalpha}{plainletters}{"4C} \DeclareMathSymbol{M}{\mathalpha}{plainletters}{"4D} \DeclareMathSymbol{N}{\mathalpha}{plainletters}{"4E} \DeclareMathSymbol{O}{\mathalpha}{plainletters}{"4F} \DeclareMathSymbol{P}{\mathalpha}{plainletters}{"50} \DeclareMathSymbol{Q}{\mathalpha}{plainletters}{"51} \DeclareMathSymbol{R}{\mathalpha}{plainletters}{"52} \DeclareMathSymbol{S}{\mathalpha}{plainletters}{"53} \DeclareMathSymbol{T}{\mathalpha}{plainletters}{"54} \DeclareMathSymbol{U}{\mathalpha}{plainletters}{"55} \DeclareMathSymbol{V}{\mathalpha}{plainletters}{"56} \DeclareMathSymbol{W}{\mathalpha}{plainletters}{"57} \DeclareMathSymbol{X}{\mathalpha}{plainletters}{"58} \DeclareMathSymbol{Y}{\mathalpha}{plainletters}{"59} \DeclareMathSymbol{Z}{\mathalpha}{plainletters}{"5A} \def\@myop#1{\mathop{\mathstrut{#1}}\nolimits} % \def\pset {\@myop{\bbold P}} % \def\pset {\@myop{\wp}} \def\pset {\@myop{\cal P}} \def\lquote {[\![} \def\rquote {]\!]} \let\approx= \cong \def\lnot {\neg\;} \def\land {\mathrel{\wedge}} \def\lor {\mathrel{\vee}} \def\lxor {\mathrel{\oplus}} \let\implies= \Rightarrow \let\infers= \Leftarrow \let\iff= \Leftrightarrow \let\biim= \leftrightarrow \let\fun= \rightarrow %\def\sum {\mathbin{+}} %\let\prod= \times %\let\cross= \times \let\bottom= \perp \def\biglub {\@myop{\bigsqcup}} \def\bigglb {\mathop{\lower.1ex\hbox{\Large$\sqcap$}}} \def\join {\mathbin{\sqcup}} \def\meet {\mathbin{\sqcap}} \def\lub {\mathop{\sqcup}} \def\glb {\mathop{\sqcap}} \def\union {\mathbin{\cup}} \def\inter {\mathbin{\cap}} \def\bigunion {\@myop{\bigcup}} \def\biginter {\@myop{\bigcap}} \def\bigconcat {\mathop{\text{\bf\large +\hspace*{-0.42em}+}}} \def\bigbigconcat{\mathop{\text{\bf\LARGE +\hspace*{-0.38em}+}}} \def\lset {\mathopen{\{}} \def\rset {\mathclose{\}}} \def\biglset {\mathopen{\Bigl\}}} \def\bigrset {\mathclose{\Bigr\}}} \def\power {\mathbin{\uparrow}} \def\relset {\@myop{\Re}} \def\entails {\mathrel{\vdash}} \def\comp {\mathbin{\circ}} \def\ccomp {\mathbin{\bullet}} \def\seq {\mathclose{\ast}} \def\eqdef {\overset{\text{\tiny def}}{=}} \def\eqq {\overset{?}{=}} \def\set#1{\lset #1 \rset} \def\denot#1{[\![ #1 ]\!]} % \def\state#1#2{\langle #1 \mid #2 \rangle} % eof