Turn on MonadFail desugaring by default
[ghc.git] / 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