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
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
|
<!--
ISOAMSB Characters alphabetically
Added Math Symbols: Binary Operators Extended by MathML with aliases
Converted from HTML table at
http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSBe1.html
Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
-->
<!ENTITY ac ""><!-- u+E207 most positive ISOAMSB -->
<!ENTITY acE ""><!-- u+E290 most positive, two lines below ISOAMSB -->
<!ENTITY amalg ""><!-- u+E251 amalgamation or coproduct ISOAMSB -->
<!ENTITY ast "*"><!-- u+002A centered asterisk MMALIAS midast-->
<!ENTITY Backslash "∖"><!-- u+2216 reverse solidus MMALIAS setmn-->
<!ENTITY barvee "⊽"><!-- u+22BD bar, vee ISOAMSB -->
<!ENTITY Barwed "⌆"><!-- u+2306 logical and, double bar above ISOAMSB -->
<!ENTITY barwed "⊼"><!-- u+22BC logical and, bar above ISOAMSB -->
<!ENTITY barwedge "⊼"><!-- u+22BC logical and, bar above MMALIAS barwed-->
<!ENTITY bigcap "⋂"><!-- u+22C2 intersection operator MMALIAS xcap-->
<!ENTITY bigcirc "⛗"><!-- u+25EF large circle MMALIAS xcirc-->
<!ENTITY bigcup "⋃"><!-- u+22C3 union operator MMALIAS xcup-->
<!ENTITY bigodot "⊙"><!-- u+2299 circle dot operator MMALIAS xodot-->
<!ENTITY bigoplus "⊕"><!-- u+2295 circle plus operator MMALIAS xoplus-->
<!ENTITY bigotimes "⊗"><!-- u+2297 circle times operator MMALIAS xotime-->
<!ENTITY bigsqcup "⊔"><!-- u+2294 square union operator MMALIAS xsqcup-->
<!ENTITY bigtriangledown "▽"><!-- u+25BD big down triangle, open MMALIAS xdtri-->
<!ENTITY bigtriangleup "△"><!-- u+25B3 big up triangle, open MMALIAS xutri-->
<!ENTITY biguplus "⊎"><!-- u+228E biguplus MMALIAS xuplus-->
<!ENTITY bigvee "⋁"><!-- u+22C1 logical and operator MMALIAS xvee-->
<!ENTITY bigwedge "⋀"><!-- u+22C0 logical or operator MMALIAS xwedge-->
<!ENTITY boxminus "⊟"><!-- u+229F minus sign in box MMALIAS minusb-->
<!ENTITY boxplus "⊞"><!-- u+229E plus sign in box MMALIAS plusb-->
<!ENTITY boxtimes "⊠"><!-- u+22A0 multiply sign in box MMALIAS timesb-->
<!ENTITY bsolb ""><!-- u+E280 reverse solidus in square ISOAMSB -->
<!ENTITY Cap "⋒"><!-- u+22D2 double intersection ISOAMSB -->
<!ENTITY capand ""><!-- u+E281 intersection, and ISOAMSB -->
<!ENTITY capbrcup ""><!-- u+E271 intersection, bar, union ISOAMSB -->
<!ENTITY capcap ""><!-- u+E273 intersection, intersection, joined ISOAMSB -->
<!ENTITY capcup ""><!-- u+E26F intersection above union ISOAMSB -->
<!ENTITY capdot ""><!-- u+E261 intersection, with dot ISOAMSB -->
<!ENTITY caps ""><!-- u+E275 intersection, serifs ISOAMSB -->
<!ENTITY ccaps ""><!-- u+E279 closed intersection, serifs ISOAMSB -->
<!ENTITY ccups ""><!-- u+E278 closed union, serifs ISOAMSB -->
<!ENTITY ccupssm ""><!-- u+E27A closed union, serifs, smash product ISOAMSB -->
<!ENTITY circledast "⊛"><!-- u+229B asterisk in circle MMALIAS oast-->
<!ENTITY circledcirc "⊚"><!-- u+229A small circle in circle MMALIAS ocir-->
<!ENTITY circleddash "⊝"><!-- u+229D hyphen in circle MMALIAS odash-->
<!ENTITY CircleDot "⊙"><!-- u+2299 middle dot in circle MMALIAS odot-->
<!ENTITY CircleMinus "⊖"><!-- u+2296 minus sign in circle MMALIAS ominus-->
<!ENTITY CirclePlus "⊕"><!-- u+2295 plus sign in circle MMALIAS oplus-->
<!ENTITY CircleTimes "⊗"><!-- u+2297 multiply sign in circle MMALIAS otimes-->
<!ENTITY coprod "∐"><!-- u+2210 coproduct operator ISOAMSB -->
<!ENTITY Coproduct "∐"><!-- u+2210 coproduct operator MMALIAS coprod-->
<!ENTITY Cup "⋓"><!-- u+22D3 double union ISOAMSB -->
<!ENTITY cupbrcap ""><!-- u+E270 union, bar, intersection ISOAMSB -->
<!ENTITY cupcap ""><!-- u+E26E union above intersection ISOAMSB -->
<!ENTITY cupcup ""><!-- u+E272 union, union, joined ISOAMSB -->
<!ENTITY cupdot "⊍"><!-- u+228D union, with dot ISOAMSB -->
<!ENTITY cupor ""><!-- u+E282 union, or ISOAMSB -->
<!ENTITY cups ""><!-- u+E274 union, serifs ISOAMSB -->
<!ENTITY curlyvee "⋎"><!-- u+22CE curly logical or MMALIAS cuvee-->
<!ENTITY curlywedge "⋏"><!-- u+22CF curly logical and MMALIAS cuwed-->
<!ENTITY cuvee "⋎"><!-- u+22CE curly logical or ISOAMSB -->
<!ENTITY cuwed "⋏"><!-- u+22CF curly logical and ISOAMSB -->
<!ENTITY Dagger "‡"><!-- u+2021 double dagger relation ISOAMSB -->
<!ENTITY dagger "†"><!-- u+2020 dagger relation ISOAMSB -->
<!ENTITY ddagger "‡"><!-- u+2021 double dagger relation MMALIAS Dagger-->
<!ENTITY diam "⋄"><!-- u+22C4 open diamond ISOAMSB -->
<!ENTITY diamond "⋄"><!-- u+22C4 open diamond MMALIAS diam-->
<!ENTITY divideontimes "⋇"><!-- u+22C7 division on times MMALIAS divonx-->
<!ENTITY divonx "⋇"><!-- u+22C7 division on times ISOAMSB -->
<!ENTITY dotminus "∸"><!-- u+2238 minus sign, dot above MMALIAS minusd-->
<!ENTITY dotplus "∔"><!-- u+2214 plus sign, dot above MMALIAS plusdo-->
<!ENTITY dotsquare "⊡"><!-- u+22A1 small dot in box MMALIAS sdotb-->
<!ENTITY doublebarwedge "⌆"><!-- u+2306 logical and, double bar above MMALIAS Barwed-->
<!ENTITY eplus ""><!-- u+E268 equal, plus ISOAMSB -->
<!ENTITY hercon "⊹"><!-- u+22B9 hermitian conjugate matrix ISOAMSB -->
<!ENTITY intcal "⊺"><!-- u+22BA intercal ISOAMSB -->
<!ENTITY intercal "⊺"><!-- u+22BA intercal MMALIAS intcal-->
<!ENTITY Intersection "⋂"><!-- u+22C2 intersection operator MMALIAS xcap-->
<!ENTITY intprod ""><!-- u+E259 interior product MMALIAS iprod-->
<!ENTITY iprod ""><!-- u+E259 interior product ISOAMSB -->
<!ENTITY leftthreetimes "⋋"><!-- u+22CB leftthreetimes MMALIAS lthree-->
<!ENTITY loplus ""><!-- u+E25C plus sign in left half circle ISOAMSB -->
<!ENTITY lotimes ""><!-- u+E25E multiply sign in left half circle ISOAMSB -->
<!ENTITY lthree "⋋"><!-- u+22CB leftthreetimes ISOAMSB -->
<!ENTITY ltimes "⋉"><!-- u+22C9 times sign, left closed ISOAMSB -->
<!ENTITY midast "∗"><!-- u+2217 centered asterisk ISOAMSB -->
<!ENTITY minusb "⊟"><!-- u+229F minus sign in box ISOAMSB -->
<!ENTITY minusd "∸"><!-- u+2238 minus sign, dot above ISOAMSB -->
<!ENTITY minusdu ""><!-- u+E25B minus sign, dot below ISOAMSB -->
<!ENTITY ncap ""><!-- u+E284 bar, intersection ISOAMSB -->
<!ENTITY ncup ""><!-- u+E283 bar, union ISOAMSB -->
<!ENTITY oast "⊛"><!-- u+229B asterisk in circle ISOAMSB -->
<!ENTITY ocir "⊚"><!-- u+229A small circle in circle ISOAMSB -->
<!ENTITY odash "⊝"><!-- u+229D hyphen in circle ISOAMSB -->
<!ENTITY odiv ""><!-- u+E285 divide in circle ISOAMSB -->
<!ENTITY odot "⊙"><!-- u+2299 middle dot in circle ISOAMSB -->
<!ENTITY odsold ""><!-- u+E286 dot, solidus, dot in circle ISOAMSB -->
<!ENTITY ofcir ""><!-- u+E287 filled circle in circle ISOAMSB -->
<!ENTITY ogt ""><!-- u+E289 greater-than in circle ISOAMSB -->
<!ENTITY ohbar ""><!-- u+E260 circle with horizontal bar ISOAMSB -->
<!ENTITY olcir ""><!-- u+E409 large circle in circle ISOAMSB -->
<!ENTITY olt ""><!-- u+E288 less-than in circle ISOAMSB -->
<!ENTITY omid ""><!-- u+E40A vertical bar in circle ISOAMSB -->
<!ENTITY ominus "⊖"><!-- u+2296 minus sign in circle ISOAMSB -->
<!ENTITY opar ""><!-- u+E28A parallel in circle ISOAMSB -->
<!ENTITY operp ""><!-- u+E28B perpendicular in circle ISOAMSB -->
<!ENTITY oplus "⊕"><!-- u+2295 plus sign in circle ISOAMSB -->
<!ENTITY oslash "⊘"><!-- u+2298 solidus in circle MMALIAS osol-->
<!ENTITY osol "⊘"><!-- u+2298 solidus in circle ISOAMSB -->
<!ENTITY Otimes ""><!-- u+E28C multiply sign in double circle ISOAMSB -->
<!ENTITY otimes "⊗"><!-- u+2297 multiply sign in circle ISOAMSB -->
<!ENTITY otimesas ""><!-- u+E28D multiply sign in circle, circumflex accent ISOAMSB -->
<!ENTITY ovbar ""><!-- u+E40B circle with vertical bar ISOAMSB -->
<!ENTITY plusacir ""><!-- u+E26A plus, circumflex accent above ISOAMSB -->
<!ENTITY plusb "⊞"><!-- u+229E plus sign in box ISOAMSB -->
<!ENTITY pluscir ""><!-- u+E266 plus, small circle above ISOAMSB -->
<!ENTITY plusdo "∔"><!-- u+2214 plus sign, dot above ISOAMSB -->
<!ENTITY plusdu ""><!-- u+E25A plus sign, dot below ISOAMSB -->
<!ENTITY pluse ""><!-- u+E267 plus, equals ISOAMSB -->
<!ENTITY plussim ""><!-- u+E26C plus, similar below ISOAMSB -->
<!ENTITY plustwo ""><!-- u+E269 plus, two; Nim-addition ISOAMSB -->
<!ENTITY race ""><!-- u+E40C reverse most positive, line below ISOAMSB -->
<!ENTITY rightthreetimes "⋌"><!-- u+22CC rightthreetimes MMALIAS rthree-->
<!ENTITY roplus ""><!-- u+E25D plus sign in right half circle ISOAMSB -->
<!ENTITY rotimes ""><!-- u+E40D multiply sign in right half circle ISOAMSB -->
<!ENTITY rthree "⋌"><!-- u+22CC rightthreetimes ISOAMSB -->
<!ENTITY rtimes "⋊"><!-- u+22CA times sign, right closed ISOAMSB -->
<!ENTITY sdot "⋅"><!-- u+22C5 small middle dot ISOAMSB -->
<!ENTITY sdotb "⊡"><!-- u+22A1 small dot in box ISOAMSB -->
<!ENTITY setminus "∖"><!-- u+2216 reverse solidus MMALIAS setmn-->
<!ENTITY setmn "∖"><!-- u+2216 reverse solidus ISOAMSB -->
<!ENTITY simplus ""><!-- u+E26B plus, similar above ISOAMSB -->
<!ENTITY smallsetminus ""><!-- u+E844 sm reverse solidus MMALIAS ssetmn-->
<!ENTITY smashp ""><!-- u+E264 smash product ISOAMSB -->
<!ENTITY solb ""><!-- u+E27F solidus in square ISOAMSB -->
<!ENTITY sqcap "⊓"><!-- u+2293 square intersection ISOAMSB -->
<!ENTITY sqcaps ""><!-- u+E277 square intersection, serifs ISOAMSB -->
<!ENTITY sqcup "⊔"><!-- u+2294 square union ISOAMSB -->
<!ENTITY sqcups ""><!-- u+E276 square union, serifs ISOAMSB -->
<!ENTITY SquareIntersection "⊓"><!-- u+2293 square intersection MMALIAS sqcap-->
<!ENTITY SquareUnion "⊔"><!-- u+2294 square union MMALIAS sqcup-->
<!ENTITY ssetmn ""><!-- u+E844 sm reverse solidus ISOAMSB -->
<!ENTITY sstarf "⋆"><!-- u+22C6 small star, filled, low ISOAMSB -->
<!ENTITY Star "⋆"><!-- u+22C6 small star, filled, low MMALIAS sstarf-->
<!ENTITY star "⋆"><!-- u+22C6 small star, filled, low MMALIAS sstarf-->
<!ENTITY subdot ""><!-- u+E262 subset, with dot ISOAMSB -->
<!ENTITY Sum "∑"><!-- u+2211 summation operator MMALIAS sum-->
<!ENTITY sum "∑"><!-- u+2211 summation operator ISOAMSB -->
<!ENTITY supdot ""><!-- u+E263 superset, with dot ISOAMSB -->
<!ENTITY timesb "⊠"><!-- u+22A0 multiply sign in box ISOAMSB -->
<!ENTITY timesbar ""><!-- u+E28E multiply sign, bar below ISOAMSB -->
<!ENTITY timesd ""><!-- u+E26D times, dot ISOAMSB -->
<!ENTITY tridot "◬"><!-- u+25EC dot in triangle ISOAMSB -->
<!ENTITY triminus ""><!-- u+E27C minus in triangle ISOAMSB -->
<!ENTITY triplus ""><!-- u+E27B plus in triangle ISOAMSB -->
<!ENTITY trisb ""><!-- u+E27E triangle, serifs at bottom ISOAMSB -->
<!ENTITY tritime ""><!-- u+E27D multiply in triangle ISOAMSB -->
<!ENTITY Union "⋃"><!-- u+22C3 union operator MMALIAS xcup-->
<!ENTITY UnionPlus "⊎"><!-- u+228E plus sign in union MMALIAS uplus-->
<!ENTITY uplus "⊎"><!-- u+228E plus sign in union ISOAMSB -->
<!ENTITY Vee "⋁"><!-- u+22C1 logical and operator MMALIAS xvee-->
<!ENTITY veebar "⊻"><!-- u+22BB logical or, bar below ISOAMSB -->
<!ENTITY VerticalTilde "≀"><!-- u+2240 wreath product MMALIAS wreath-->
<!ENTITY wedbar ""><!-- u+E265 wedge, bar below ISOAMSB -->
<!ENTITY Wedge "⋀"><!-- u+22C0 logical or operator MMALIAS xwedge-->
<!ENTITY wr "≀"><!-- u+2240 wreath product MMALIAS wreath-->
<!ENTITY wreath "≀"><!-- u+2240 wreath product ISOAMSB -->
<!ENTITY xcap "⋂"><!-- u+22C2 intersection operator ISOAMSB -->
<!ENTITY xcirc "⛗"><!-- u+25EF large circle ISOAMSB -->
<!ENTITY xcup "⋃"><!-- u+22C3 union operator ISOAMSB -->
<!ENTITY xdtri "▽"><!-- u+25BD big down triangle, open ISOAMSB -->
<!ENTITY xodot "⊙"><!-- u+2299 circle dot operator ISOAMSB -->
<!ENTITY xoplus "⊕"><!-- u+2295 circle plus operator ISOAMSB -->
<!ENTITY xotime "⊗"><!-- u+2297 circle times operator ISOAMSB -->
<!ENTITY xsqcup "⊔"><!-- u+2294 square union operator ISOAMSB -->
<!ENTITY xuplus "⊎"><!-- u+228E biguplus ISOAMSB -->
<!ENTITY xutri "△"><!-- u+25B3 big up triangle, open ISOAMSB -->
<!ENTITY xvee "⋁"><!-- u+22C1 logical and operator ISOAMSB -->
<!ENTITY xwedge "⋀"><!-- u+22C0 logical or operator ISOAMSB -->
|
