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
184
185
186
187
|
<!--
ISOAMSN Characters alphabetically
Added Math Symbols: Negated Relations Extended by MathML with aliases
Converted from HTML table at
http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSNe1.html
Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
-->
<!ENTITY gnap ""><!-- u+E411 greater, not approximate ISOAMSN -->
<!ENTITY gnapprox ""><!-- u+E411 greater, not approximate MMALIAS gnap-->
<!ENTITY gnE "≩"><!-- u+2269 greater, not double equals ISOAMSN -->
<!ENTITY gne "≩"><!-- u+2269 greater, not equals ISOAMSN -->
<!ENTITY gneq "≩"><!-- u+2269 greater, not equals MMALIAS gne-->
<!ENTITY gneqq "≩"><!-- u+2269 greater, not double equals MMALIAS gnE-->
<!ENTITY gnsim "⋧"><!-- u+22E7 greater, not similar ISOAMSN -->
<!ENTITY gvertneqq ""><!-- u+E2A1 gt, vert, not double equals MMALIAS gvnE-->
<!ENTITY gvnE ""><!-- u+E2A1 gt, vert, not double equals ISOAMSN -->
<!ENTITY lnap ""><!-- u+E2A2 less, not approximate ISOAMSN -->
<!ENTITY lnapprox ""><!-- u+E2A2 less, not approximate MMALIAS lnap-->
<!ENTITY lnE "≨"><!-- u+2268 less, not double equals ISOAMSN -->
<!ENTITY lne "≨"><!-- u+2268 less, not equals ISOAMSN -->
<!ENTITY lneq "≨"><!-- u+2268 less, not equals MMALIAS lne-->
<!ENTITY lneqq "≨"><!-- u+2268 less, not double equals MMALIAS lnE-->
<!ENTITY lnsim "⋦"><!-- u+22E6 less, not similar ISOAMSN -->
<!ENTITY lvertneqq ""><!-- u+E2A4 less, vert, not double equals MMALIAS lvnE-->
<!ENTITY lvnE ""><!-- u+E2A4 less, vert, not double equals ISOAMSN -->
<!ENTITY nap "≉"><!-- u+2249 not approximate ISOAMSN -->
<!ENTITY napE ""><!-- u+E2C7 not approximately equal or equal to ISOAMSN -->
<!ENTITY napid ""><!-- u+E2BC not approximately identical to ISOAMSN -->
<!ENTITY napprox "≉"><!-- u+2249 not approximate MMALIAS nap-->
<!ENTITY ncong "≇"><!-- u+2247 not congruent with ISOAMSN -->
<!ENTITY ncongdot ""><!-- u+E2C5 not congruent, dot ISOAMSN -->
<!ENTITY nequiv "≢"><!-- u+2262 not identical with ISOAMSN -->
<!ENTITY ngE "≱"><!-- u+2271 not greater, double equals ISOAMSN -->
<!ENTITY nge ""><!-- u+E2A6 not greater-than-or-equal ISOAMSN -->
<!ENTITY ngeq ""><!-- u+E2A6 not greater-than-or-equal MMALIAS nge-->
<!ENTITY ngeqq "≱"><!-- u+2271 not greater, double equals MMALIAS ngE-->
<!ENTITY ngeqslant "≱"><!-- u+2271 not gt-or-equals, slanted MMALIAS nges-->
<!ENTITY nges "≱"><!-- u+2271 not gt-or-equals, slanted ISOAMSN -->
<!ENTITY nGg ""><!-- u+E2CE not triple greater than ISOAMSN -->
<!ENTITY ngsim "≵"><!-- u+2275 not greater, similar ISOAMSN -->
<!ENTITY nGt ""><!-- u+E2CA not, vert, much greater than ISOAMSN -->
<!ENTITY ngt "≯"><!-- u+226F not greater-than ISOAMSN -->
<!ENTITY ngtr "≯"><!-- u+226F not greater-than MMALIAS ngt-->
<!ENTITY nGtv ""><!-- u+E2CC not much greater than, variant ISOAMSN -->
<!ENTITY nlE "≰"><!-- u+2270 not less, double equals ISOAMSN -->
<!ENTITY nle ""><!-- u+E2A7 not less-than-or-equal ISOAMSN -->
<!ENTITY nleq ""><!-- u+E2A7 not less-than-or-equal MMALIAS nle-->
<!ENTITY nleqq "≰"><!-- u+2270 not less, double equals MMALIAS nlE-->
<!ENTITY nleqslant "≰"><!-- u+2270 not less-or-equals, slant MMALIAS nles-->
<!ENTITY nles "≰"><!-- u+2270 not less-or-equals, slant ISOAMSN -->
<!ENTITY nless "≮"><!-- u+226E not less-than MMALIAS nlt-->
<!ENTITY nLl ""><!-- u+E2CD not triple less than ISOAMSN -->
<!ENTITY nlsim "≴"><!-- u+2274 not less, similar ISOAMSN -->
<!ENTITY nLt ""><!-- u+E2C9 not, vert, much less than ISOAMSN -->
<!ENTITY nlt "≮"><!-- u+226E not less-than ISOAMSN -->
<!ENTITY nltri "⋪"><!-- u+22EA not left triangle ISOAMSN -->
<!ENTITY nltrie "⋬"><!-- u+22EC not left triangle, equals ISOAMSN -->
<!ENTITY nLtv ""><!-- u+E2CB not much less than, variant ISOAMSN -->
<!ENTITY nmid "∤"><!-- u+2224 negated mid ISOAMSN -->
<!ENTITY NotCongruent "≢"><!-- u+2262 not identical with MMALIAS nequiv-->
<!ENTITY NotDoubleVerticalBar "∦"><!-- u+2226 not parallel MMALIAS npar-->
<!ENTITY NotGreater "≯"><!-- u+226F not greater-than MMALIAS ngt-->
<!ENTITY NotGreaterEqual ""><!-- u+E2A6 not greater-than-or-equal MMALIAS nge-->
<!ENTITY NotGreaterFullEqual "≱"><!-- u+2271 not greater, double equals MMALIAS ngE-->
<!ENTITY NotGreaterGreater ""><!-- u+E2CC not much greater than, variant MMALIAS nGtv-->
<!ENTITY NotGreaterLess "≹"><!-- u+2279 not, vert, greater, less MMALIAS ntvgl-->
<!ENTITY NotGreaterSlantEqual "≱"><!-- u+2271 not gt-or-equals, slanted MMALIAS nges-->
<!ENTITY NotGreaterTilde "≵"><!-- u+2275 not greater, similar MMALIAS ngsim-->
<!ENTITY NotLeftTriangle "⋪"><!-- u+22EA not left triangle MMALIAS nltri-->
<!ENTITY NotLeftTriangleEqual "⋬"><!-- u+22EC not left triangle, equals MMALIAS nltrie-->
<!ENTITY NotLess "≮"><!-- u+226E not less-than MMALIAS nlt-->
<!ENTITY NotLessEqual ""><!-- u+E2A7 not less-than-or-equal MMALIAS nle-->
<!ENTITY NotLessFullEqual "≰"><!-- u+2270 not less, double equals MMALIAS nlE-->
<!ENTITY NotLessGreater "≸"><!-- u+2278 not, vert, less, greater MMALIAS ntvlg-->
<!ENTITY NotLessLess ""><!-- u+E2CB not much less than, variant MMALIAS nLtv-->
<!ENTITY NotLessSlantEqual "≰"><!-- u+2270 not less-or-equals, slant MMALIAS nles-->
<!ENTITY NotLessTilde "≴"><!-- u+2274 not less, similar MMALIAS nlsim-->
<!ENTITY NotPrecedes "⊀"><!-- u+2280 not precedes MMALIAS npr-->
<!ENTITY NotPrecedesEqual ""><!-- u+E412 not precedes, equals MMALIAS npre-->
<!ENTITY NotPrecedesSlantEqual "⋠"><!-- u+22E0 not curly precedes, equals MMALIAS nprcue-->
<!ENTITY NotRightTriangle "⋫"><!-- u+22EB not right triangle MMALIAS nrtri-->
<!ENTITY NotRightTriangleEqual "⋭"><!-- u+22ED not right triangle, equals MMALIAS nrtrie-->
<!ENTITY NotSquareSubsetEqual "⋢"><!-- u+22E2 not, square subset, equals MMALIAS nsqsube-->
<!ENTITY NotSquareSupersetEqual "⋣"><!-- u+22E3 not, square superset, equals MMALIAS nsqsupe-->
<!ENTITY NotSubset "⊄"><!-- u+2284 not subset, variant MMALIAS vnsub-->
<!ENTITY NotSucceeds "⊁"><!-- u+2281 not succeeds MMALIAS nsc-->
<!ENTITY NotSucceedsEqual ""><!-- u+E413 not succeeds, equals MMALIAS nsce-->
<!ENTITY NotSucceedsSlantEqual "⋡"><!-- u+22E1 not succeeds, curly equals MMALIAS nsccue-->
<!ENTITY NotSuperset "⊅"><!-- u+2285 not superset, variant MMALIAS vnsup-->
<!ENTITY NotTilde "≁"><!-- u+2241 not similar MMALIAS nsim-->
<!ENTITY NotTildeEqual "≄"><!-- u+2244 not similar, equals MMALIAS nsime-->
<!ENTITY NotTildeFullEqual "≇"><!-- u+2247 not congruent with MMALIAS ncong-->
<!ENTITY NotTildeTilde "≉"><!-- u+2249 not approximate MMALIAS nap-->
<!ENTITY NotVerticalBar "∤"><!-- u+2224 negated mid MMALIAS nmid-->
<!ENTITY npar "∦"><!-- u+2226 not parallel ISOAMSN -->
<!ENTITY nparallel "∦"><!-- u+2226 not parallel MMALIAS npar-->
<!ENTITY npr "⊀"><!-- u+2280 not precedes ISOAMSN -->
<!ENTITY nprcue "⋠"><!-- u+22E0 not curly precedes, equals ISOAMSN -->
<!ENTITY npre ""><!-- u+E412 not precedes, equals ISOAMSN -->
<!ENTITY nprec "⊀"><!-- u+2280 not precedes MMALIAS npr-->
<!ENTITY npreceq ""><!-- u+E412 not precedes, equals MMALIAS npre-->
<!ENTITY nrtri "⋫"><!-- u+22EB not right triangle ISOAMSN -->
<!ENTITY nrtrie "⋭"><!-- u+22ED not right triangle, equals ISOAMSN -->
<!ENTITY nsc "⊁"><!-- u+2281 not succeeds ISOAMSN -->
<!ENTITY nsccue "⋡"><!-- u+22E1 not succeeds, curly equals ISOAMSN -->
<!ENTITY nsce ""><!-- u+E413 not succeeds, equals ISOAMSN -->
<!ENTITY nshortmid ""><!-- u+E2AA negated short mid MMALIAS nsmid-->
<!ENTITY nshortparallel ""><!-- u+E2AB not short par MMALIAS nspar-->
<!ENTITY nsim "≁"><!-- u+2241 not similar ISOAMSN -->
<!ENTITY nsime "≄"><!-- u+2244 not similar, equals ISOAMSN -->
<!ENTITY nsimeq "≄"><!-- u+2244 not similar, equals MMALIAS nsime-->
<!ENTITY nsmid ""><!-- u+E2AA negated short mid ISOAMSN -->
<!ENTITY nspar ""><!-- u+E2AB not short par ISOAMSN -->
<!ENTITY nsqsube "⋢"><!-- u+22E2 not, square subset, equals ISOAMSN -->
<!ENTITY nsqsupe "⋣"><!-- u+22E3 not, square superset, equals ISOAMSN -->
<!ENTITY nsub "⊄"><!-- u+2284 not subset ISOAMSN -->
<!ENTITY nsubE "⊈"><!-- u+2288 not subset, double equals ISOAMSN -->
<!ENTITY nsube "⊈"><!-- u+2288 not subset, equals ISOAMSN -->
<!ENTITY nsubset "⊄"><!-- u+2284 not subset, variant MMALIAS vnsub-->
<!ENTITY nsubseteq "⊈"><!-- u+2288 not subset, equals MMALIAS nsube-->
<!ENTITY nsubseteqq "⊈"><!-- u+2288 not subset, double equals MMALIAS nsubE-->
<!ENTITY nsucc "⊁"><!-- u+2281 not succeeds MMALIAS nsc-->
<!ENTITY nsucceq ""><!-- u+E413 not succeeds, equals MMALIAS nsce-->
<!ENTITY nsup "⊅"><!-- u+2285 not superset ISOAMSN -->
<!ENTITY nsupE "⊉"><!-- u+2289 not superset, double equals ISOAMSN -->
<!ENTITY nsupe "⊉"><!-- u+2289 not superset, equals ISOAMSN -->
<!ENTITY nsupset "⊅"><!-- u+2285 not superset, variant MMALIAS vnsup-->
<!ENTITY nsupseteq "⊉"><!-- u+2289 not superset, equals MMALIAS nsupe-->
<!ENTITY nsupseteqq "⊉"><!-- u+2289 not superset, double equals MMALIAS nsupE-->
<!ENTITY ntgl "≹"><!-- u+2279 not greater, less ISOAMSN -->
<!ENTITY ntlg "≸"><!-- u+2278 not less, greater ISOAMSN -->
<!ENTITY ntriangleleft "⋪"><!-- u+22EA not left triangle MMALIAS nltri-->
<!ENTITY ntrianglelefteq "⋬"><!-- u+22EC not left triangle, equals MMALIAS nltrie-->
<!ENTITY ntriangleright "⋫"><!-- u+22EB not right triangle MMALIAS nrtri-->
<!ENTITY ntrianglerighteq "⋭"><!-- u+22ED not right triangle, equals MMALIAS nrtrie-->
<!ENTITY ntvgl "≹"><!-- u+2279 not, vert, greater, less ISOAMSN -->
<!ENTITY ntvlg "≸"><!-- u+2278 not, vert, less, greater ISOAMSN -->
<!ENTITY nvap ""><!-- u+E2C6 not, vert, approximate ISOAMSN -->
<!ENTITY nVDash "⊯"><!-- u+22AF not double vert, double dash ISOAMSN -->
<!ENTITY nVdash "⊮"><!-- u+22AE not double vertical, dash ISOAMSN -->
<!ENTITY nvDash "⊭"><!-- u+22AD not vertical, double dash ISOAMSN -->
<!ENTITY nvdash "⊬"><!-- u+22AC not vertical, dash ISOAMSN -->
<!ENTITY nvge "≱"><!-- u+2271 not, vert, greater-than-or-equal ISOAMSN -->
<!ENTITY nvgt "≯"><!-- u+226F not, vert, greater-than ISOAMSN -->
<!ENTITY nvle "≰"><!-- u+2270 not, vert, less-than-or-equal ISOAMSN -->
<!ENTITY nvlt "≮"><!-- u+226E not, vert, less-than ISOAMSN -->
<!ENTITY nvltrie ""><!-- u+E2D0 not, vert, left triangle, equals ISOAMSN -->
<!ENTITY nvrtrie ""><!-- u+E2CF not, vert, right triangle, equals ISOAMSN -->
<!ENTITY nvsim ""><!-- u+E415 not, vert, similar ISOAMSN -->
<!ENTITY parsim ""><!-- u+E2C8 parallel, similar ISOAMSN -->
<!ENTITY precnapprox "⋨"><!-- u+22E8 precedes, not approx MMALIAS prnap-->
<!ENTITY precneqq ""><!-- u+E2B3 precedes, not double equals MMALIAS prnE-->
<!ENTITY precnsim "⋨"><!-- u+22E8 precedes, not similar MMALIAS prnsim-->
<!ENTITY prnap "⋨"><!-- u+22E8 precedes, not approx ISOAMSN -->
<!ENTITY prnE ""><!-- u+E2B3 precedes, not double equals ISOAMSN -->
<!ENTITY prnsim "⋨"><!-- u+22E8 precedes, not similar ISOAMSN -->
<!ENTITY rnmid ""><!-- u+E2D1 reverse nmid ISOAMSN -->
<!ENTITY scnap "⋩"><!-- u+22E9 succeeds, not approx ISOAMSN -->
<!ENTITY scnE ""><!-- u+E2B5 succeeds, not double equals ISOAMSN -->
<!ENTITY scnsim "⋩"><!-- u+22E9 succeeds, not similar ISOAMSN -->
<!ENTITY simne "≆"><!-- u+2246 similar, not equals ISOAMSN -->
<!ENTITY solbar ""><!-- u+E416 solidus, bar through ISOAMSN -->
<!ENTITY subnE "⊊"><!-- u+228A subset, not double equals ISOAMSN -->
<!ENTITY subne "⊊"><!-- u+228A subset, not equals ISOAMSN -->
<!ENTITY subsetneq "⊊"><!-- u+228A subset, not equals MMALIAS subne-->
<!ENTITY subsetneqq "⊊"><!-- u+228A subset, not double equals MMALIAS subnE-->
<!ENTITY succnapprox "⋩"><!-- u+22E9 succeeds, not approx MMALIAS scnap-->
<!ENTITY succneqq ""><!-- u+E2B5 succeeds, not double equals MMALIAS scnE-->
<!ENTITY succnsim "⋩"><!-- u+22E9 succeeds, not similar MMALIAS scnsim-->
<!ENTITY supnE "⊋"><!-- u+228B superset, not double equals ISOAMSN -->
<!ENTITY supne "⊋"><!-- u+228B superset, not equals ISOAMSN -->
<!ENTITY supsetneq "⊋"><!-- u+228B superset, not equals MMALIAS supne-->
<!ENTITY supsetneqq "⊋"><!-- u+228B superset, not double equals MMALIAS supnE-->
<!ENTITY varsubsetneq ""><!-- u+E2B9 subset, not equals, variant MMALIAS vsubne-->
<!ENTITY varsubsetneqq ""><!-- u+E2B8 subset not double equals, variant MMALIAS vsubnE-->
<!ENTITY varsupsetneq ""><!-- u+E2BA superset, not equals, variant MMALIAS vsupne-->
<!ENTITY varsupsetneqq ""><!-- u+E2BB super not double equals, variant MMALIAS vsupnE-->
<!ENTITY vnsub "⊄"><!-- u+2284 not subset, variant ISOAMSN -->
<!ENTITY vnsup "⊅"><!-- u+2285 not superset, variant ISOAMSN -->
<!ENTITY vsubnE ""><!-- u+E2B8 subset not double equals, variant ISOAMSN -->
<!ENTITY vsubne ""><!-- u+E2B9 subset, not equals, variant ISOAMSN -->
<!ENTITY vsupnE ""><!-- u+E2BB super not double equals, variant ISOAMSN -->
<!ENTITY vsupne ""><!-- u+E2BA superset, not equals, variant ISOAMSN -->
|
