blob: 93e8a49a6e528f1d047be181543a8d20455de87d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
% $Id: denot.sty,v 1.2 2005/05/18 08:31:50 simonpj Exp $
%
% denot.tex - symbols for denotational semantics
%
% Last updated: <mbs@cse.ogi.edu 15-Mar-2001 15:56:35>
%
% 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
|
