blob: 33b6ca97603be0d5b02ce399524ef0d65c4796c4 (
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
121
122
123
124
125
126
127
128
129
130
131
|
\gdef\SGMLbold{\SGMLattribute{fontweight}{bold}}%
\gdef\SGMLno#1{\SGMLampersand\SGMLhash#1;}%
\gdef\SGMLname#1{\SGMLampersand#1;}%
\SGMLFontEntity{msam}{"00}{\SGMLname{boxdot}}{mo}{}%
\SGMLFontEntity{msam}{"01}{\SGMLname{boxplus}}{mo}{}%
\SGMLFontEntity{msam}{"02}{\SGMLname{boxtimes}}{mo}{}%
\SGMLFontEntity{msam}{"03}{\SGMLname{square}}{mo}{}%
\SGMLFontEntity{msam}{"04}{\SGMLname{blacksquare}}{mo}{}%
\SGMLFontEntity{msam}{"05}{\SGMLname{centerdot}}{mo}{}%
\SGMLFontEntity{msam}{"06}{\SGMLname{lozenge}}{mo}{}%
\SGMLFontEntity{msam}{"07}{\SGMLname{blacklozenge}}{mo}{}%
\SGMLFontEntity{msam}{"08}{\SGMLname{circlearrowright}}{mo}{}%
\SGMLFontEntity{msam}{"09}{\SGMLname{circlearrowleft}}{mo}{}%
\SGMLFontEntity{msam}{"0A}{\SGMLname{rightleftharpoons}}{mo}{}%
\SGMLFontEntity{msam}{"0B}{\SGMLname{leftrightharpoons}}{mo}{}%
\SGMLFontEntity{msam}{"0C}{\SGMLname{boxminus}}{mo}{}%
\SGMLFontEntity{msam}{"0D}{\SGMLname{Vdash}}{mo}{}%
\SGMLFontEntity{msam}{"0E}{\SGMLname{Vvdash}}{mo}{}%
\SGMLFontEntity{msam}{"0F}{\SGMLname{vDash}}{mo}{}%
\SGMLFontEntity{msam}{"10}{\SGMLname{twoheadrightarrow}}{mo}{}%
\SGMLFontEntity{msam}{"11}{\SGMLname{twoheadleftarrow}}{mo}{}%
\SGMLFontEntity{msam}{"12}{\SGMLname{leftleftarrows}}{mo}{}%
\SGMLFontEntity{msam}{"13}{\SGMLname{rightrightarrows}}{mo}{}%
\SGMLFontEntity{msam}{"14}{\SGMLname{upuparrows}}{mo}{}%
\SGMLFontEntity{msam}{"15}{\SGMLname{downdownarrows}}{mo}{}%
\SGMLFontEntity{msam}{"16}{\SGMLname{upharpoonright}}{mo}{}%
\SGMLFontEntity{msam}{"17}{\SGMLname{downharpoonright}}{mo}{}%
\SGMLFontEntity{msam}{"18}{\SGMLname{upharpoonleft}}{mo}{}%
\SGMLFontEntity{msam}{"19}{\SGMLname{downharpoonleft}}{mo}{}%
\SGMLFontEntity{msam}{"1A}{\SGMLname{rightarrowtail}}{mo}{}%
\SGMLFontEntity{msam}{"1B}{\SGMLname{leftarrowtail}}{mo}{}%
\SGMLFontEntity{msam}{"1C}{\SGMLname{leftrightarrows}}{mo}{}%
\SGMLFontEntity{msam}{"1D}{\SGMLname{rightleftarrows}}{mo}{}%
\SGMLFontEntity{msam}{"1E}{\SGMLname{Lsh}}{mo}{}%
\SGMLFontEntity{msam}{"1F}{\SGMLname{Rsh}}{mo}{}%
\SGMLFontEntity{msam}{"20}{\SGMLname{rightsquigarrow}}{mo}{}%
\SGMLFontEntity{msam}{"21}{\SGMLname{leftrightsquigarrow}}{mo}{}%
\SGMLFontEntity{msam}{"22}{\SGMLname{looparrowleft}}{mo}{}%
\SGMLFontEntity{msam}{"23}{\SGMLname{looparrowright}}{mo}{}%
\SGMLFontEntity{msam}{"24}{\SGMLname{circeq}}{mo}{}%
\SGMLFontEntity{msam}{"25}{\SGMLname{succsim}}{mo}{}%
\SGMLFontEntity{msam}{"26}{\SGMLname{gtrsim}}{mo}{}%
\SGMLFontEntity{msam}{"27}{\SGMLname{gtrapprox}}{mo}{}%
\SGMLFontEntity{msam}{"28}{\SGMLname{multimap}}{mo}{}%
\SGMLFontEntity{msam}{"29}{\SGMLname{therefore}}{mo}{}%
\SGMLFontEntity{msam}{"2A}{\SGMLname{because}}{mo}{}%
\SGMLFontEntity{msam}{"2B}{\SGMLname{doteqdot}}{mo}{}%
\SGMLFontEntity{msam}{"2C}{\SGMLname{triangleq}}{mo}{}%
\SGMLFontEntity{msam}{"2D}{\SGMLname{precsim}}{mo}{}%
\SGMLFontEntity{msam}{"2E}{\SGMLname{lesssim}}{mo}{}%
\SGMLFontEntity{msam}{"2F}{\SGMLname{lessapprox}}{mo}{}%
\SGMLFontEntity{msam}{"30}{\SGMLname{eqslantless}}{mo}{}%
\SGMLFontEntity{msam}{"31}{\SGMLname{eqslantgtr}}{mo}{}%
\SGMLFontEntity{msam}{"32}{\SGMLname{curlyeqprec}}{mo}{}%
\SGMLFontEntity{msam}{"33}{\SGMLname{curlyeqsucc}}{mo}{}%
\SGMLFontEntity{msam}{"34}{\SGMLname{preccurlyeq}}{mo}{}%
\SGMLFontEntity{msam}{"35}{\SGMLname{leqq}}{mo}{}%
\SGMLFontEntity{msam}{"36}{\SGMLname{leqslant}}{mo}{}%
\SGMLFontEntity{msam}{"37}{\SGMLname{lessgtr}}{mo}{}%
\SGMLFontEntity{msam}{"38}{\SGMLname{backprime}}{mo}{}%
\SGMLFontEntity{msam}{"39}{\SGMLname{MMLshortaxisline}}{mo}{}%
\SGMLFontEntity{msam}{"3A}{\SGMLname{risingdotseq}}{mo}{}%
\SGMLFontEntity{msam}{"3B}{\SGMLname{fallingdotseq}}{mo}{}%
\SGMLFontEntity{msam}{"3C}{\SGMLname{succcurlyeq}}{mo}{}%
\SGMLFontEntity{msam}{"3D}{\SGMLname{geqq}}{mo}{}%
\SGMLFontEntity{msam}{"3E}{\SGMLname{geqslant}}{mo}{}%
\SGMLFontEntity{msam}{"3F}{\SGMLname{gtrless}}{mo}{}%
\SGMLFontEntity{msam}{"40}{\SGMLname{sqsubset}}{mo}{}%
\SGMLFontEntity{msam}{"41}{\SGMLname{sqsupset}}{mo}{}%
\SGMLFontEntity{msam}{"42}{\SGMLname{vartriangleright}}{mo}{}%
\SGMLFontEntity{msam}{"43}{\SGMLname{vartriangleleft}}{mo}{}%
\SGMLFontEntity{msam}{"44}{\SGMLname{trianglerighteq}}{mo}{}%
\SGMLFontEntity{msam}{"45}{\SGMLname{trianglelefteq}}{mo}{}%
\SGMLFontEntity{msam}{"46}{\SGMLname{bigstar}}{mo}{}%
\SGMLFontEntity{msam}{"47}{\SGMLname{between}}{mo}{}%
\SGMLFontEntity{msam}{"48}{\SGMLname{blacktriangledown}}{mo}{}%
\SGMLFontEntity{msam}{"49}{\SGMLname{blacktriangleright}}{mo}{}%
\SGMLFontEntity{msam}{"4A}{\SGMLname{blacktriangleleft}}{mo}{}%
\SGMLFontEntity{msam}{"4B}{\SGMLname{MMLshortaxisrightarrow}}{mo}{}%
\SGMLFontEntity{msam}{"4C}{\SGMLname{MMLshortaxisleftarrow}}{mo}{}%
\SGMLFontEntity{msam}{"4D}{\SGMLname{vartriangle}}{mo}{}%
\SGMLFontEntity{msam}{"4E}{\SGMLname{blacktriangle}}{mo}{}%
\SGMLFontEntity{msam}{"4F}{\SGMLname{triangledown}}{mo}{}%
\SGMLFontEntity{msam}{"50}{\SGMLname{eqcirc}}{mo}{}%
\SGMLFontEntity{msam}{"51}{\SGMLname{lesseqgtr}}{mo}{}%
\SGMLFontEntity{msam}{"52}{\SGMLname{gtreqless}}{mo}{}%
\SGMLFontEntity{msam}{"53}{\SGMLname{lesseqqgtr}}{mo}{}%
\SGMLFontEntity{msam}{"54}{\SGMLname{gtreqqless}}{mo}{}%
\SGMLFontEntity{msam}{"55}{\SGMLname{MMLyensymbol}}{mo}{}%
\SGMLFontEntity{msam}{"56}{\SGMLname{Rrightarrow}}{mo}{}%
\SGMLFontEntity{msam}{"57}{\SGMLname{Lleftarrow}}{mo}{}%
\SGMLFontEntity{msam}{"58}{\SGMLname{MMLcheckmark}}{mo}{}%
\SGMLFontEntity{msam}{"59}{\SGMLname{veebar}}{mo}{}%
\SGMLFontEntity{msam}{"5A}{\SGMLname{barwedge}}{mo}{}%
\SGMLFontEntity{msam}{"5B}{\SGMLname{doublebarwedge}}{mo}{}%
\SGMLFontEntity{msam}{"5C}{\SGMLname{angle}}{mo}{}%
\SGMLFontEntity{msam}{"5D}{\SGMLname{measuredangle}}{mo}{}%
\SGMLFontEntity{msam}{"5E}{\SGMLname{sphericalangle}}{mo}{}%
\SGMLFontEntity{msam}{"5F}{\SGMLname{varpropto}}{mo}{}%
\SGMLFontEntity{msam}{"60}{\SGMLname{smallsmile}}{mo}{}%
\SGMLFontEntity{msam}{"61}{\SGMLname{smallfrown}}{mo}{}%
\SGMLFontEntity{msam}{"62}{\SGMLname{Subset}}{mo}{}%
\SGMLFontEntity{msam}{"63}{\SGMLname{Supset}}{mo}{}%
\SGMLFontEntity{msam}{"64}{\SGMLname{Cup}}{mo}{}%
\SGMLFontEntity{msam}{"65}{\SGMLname{Cap}}{mo}{}%
\SGMLFontEntity{msam}{"66}{\SGMLname{curlywedge}}{mo}{}%
\SGMLFontEntity{msam}{"67}{\SGMLname{curlyvee}}{mo}{}%
\SGMLFontEntity{msam}{"68}{\SGMLname{leftthreetimes}}{mo}{}%
\SGMLFontEntity{msam}{"69}{\SGMLname{rightthreetimes}}{mo}{}%
\SGMLFontEntity{msam}{"6A}{\SGMLname{subseteqq}}{mo}{}%
\SGMLFontEntity{msam}{"6B}{\SGMLname{supseteqq}}{mo}{}%
\SGMLFontEntity{msam}{"6C}{\SGMLname{bumpeq}}{mo}{}%
\SGMLFontEntity{msam}{"6D}{\SGMLname{Bumpeq}}{mo}{}%
\SGMLFontEntity{msam}{"6E}{\SGMLname{lll}}{mo}{}%
\SGMLFontEntity{msam}{"6F}{\SGMLname{ggg}}{mo}{}%
\SGMLFontEntity{msam}{"70}{\SGMLname{ulcorner}}{mo}{}%
\SGMLFontEntity{msam}{"71}{\SGMLname{urcorner}}{mo}{}%
\SGMLFontEntity{msam}{"72}{\SGMLname{circledR}}{mo}{}%
\SGMLFontEntity{msam}{"73}{\SGMLname{circledS}}{mo}{}%
\SGMLFontEntity{msam}{"74}{\SGMLname{pitchfork}}{mo}{}%
\SGMLFontEntity{msam}{"75}{\SGMLname{dotplus}}{mo}{}%
\SGMLFontEntity{msam}{"76}{\SGMLname{backsim}}{mo}{}%
\SGMLFontEntity{msam}{"77}{\SGMLname{backsimeq}}{mo}{}%
\SGMLFontEntity{msam}{"78}{\SGMLname{llcorner}}{mo}{}%
\SGMLFontEntity{msam}{"79}{\SGMLname{lrcorner}}{mo}{}%
\SGMLFontEntity{msam}{"7A}{\SGMLname{MMLironcross}}{mo}{}%
\SGMLFontEntity{msam}{"7B}{\SGMLname{complement}}{mo}{}%
\SGMLFontEntity{msam}{"7C}{\SGMLname{intercal}}{mo}{}%
\SGMLFontEntity{msam}{"7D}{\SGMLname{circledcirc}}{mo}{}%
\SGMLFontEntity{msam}{"7E}{\SGMLname{circledast}}{mo}{}%
\SGMLFontEntity{msam}{"7F}{\SGMLname{circleddash}}{mo}{}%
|
