1 (nxml-define-char-name-set 'mathematical-operators
4 ("PARTIAL DIFFERENTIAL" #x2202
)
5 ("THERE EXISTS" #x2203
)
6 ("THERE DOES NOT EXIST" #x2204
)
11 ("NOT AN ELEMENT OF" #x2209
)
12 ("SMALL ELEMENT OF" #x220A
)
13 ("CONTAINS AS MEMBER" #x220B
)
14 ("DOES NOT CONTAIN AS MEMBER" #x220C
)
15 ("SMALL CONTAINS AS MEMBER" #x220D
)
16 ("END OF PROOF" #x220E
)
17 ("N-ARY PRODUCT" #x220F
)
18 ("N-ARY COPRODUCT" #x2210
)
19 ("N-ARY SUMMATION" #x2211
)
21 ("MINUS-OR-PLUS SIGN" #x2213
)
23 ("DIVISION SLASH" #x2215
)
25 ("ASTERISK OPERATOR" #x2217
)
26 ("RING OPERATOR" #x2218
)
27 ("BULLET OPERATOR" #x2219
)
28 ("SQUARE ROOT" #x221A
)
30 ("FOURTH ROOT" #x221C
)
31 ("PROPORTIONAL TO" #x221D
)
33 ("RIGHT ANGLE" #x221F
)
35 ("MEASURED ANGLE" #x2221
)
36 ("SPHERICAL ANGLE" #x2222
)
38 ("DOES NOT DIVIDE" #x2224
)
39 ("PARALLEL TO" #x2225
)
40 ("NOT PARALLEL TO" #x2226
)
41 ("LOGICAL AND" #x2227
)
43 ("INTERSECTION" #x2229
)
46 ("DOUBLE INTEGRAL" #x222C
)
47 ("TRIPLE INTEGRAL" #x222D
)
48 ("CONTOUR INTEGRAL" #x222E
)
49 ("SURFACE INTEGRAL" #x222F
)
50 ("VOLUME INTEGRAL" #x2230
)
51 ("CLOCKWISE INTEGRAL" #x2231
)
52 ("CLOCKWISE CONTOUR INTEGRAL" #x2232
)
53 ("ANTICLOCKWISE CONTOUR INTEGRAL" #x2233
)
60 ("GEOMETRIC PROPORTION" #x223A
)
62 ("TILDE OPERATOR" #x223C
)
63 ("REVERSED TILDE" #x223D
)
64 ("INVERTED LAZY S" #x223E
)
66 ("WREATH PRODUCT" #x2240
)
68 ("MINUS TILDE" #x2242
)
69 ("ASYMPTOTICALLY EQUAL TO" #x2243
)
70 ("NOT ASYMPTOTICALLY EQUAL TO" #x2244
)
71 ("APPROXIMATELY EQUAL TO" #x2245
)
72 ("APPROXIMATELY BUT NOT ACTUALLY EQUAL TO" #x2246
)
73 ("NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO" #x2247
)
74 ("ALMOST EQUAL TO" #x2248
)
75 ("NOT ALMOST EQUAL TO" #x2249
)
76 ("ALMOST EQUAL OR EQUAL TO" #x224A
)
77 ("TRIPLE TILDE" #x224B
)
78 ("ALL EQUAL TO" #x224C
)
79 ("EQUIVALENT TO" #x224D
)
80 ("GEOMETRICALLY EQUIVALENT TO" #x224E
)
81 ("DIFFERENCE BETWEEN" #x224F
)
82 ("APPROACHES THE LIMIT" #x2250
)
83 ("GEOMETRICALLY EQUAL TO" #x2251
)
84 ("APPROXIMATELY EQUAL TO OR THE IMAGE OF" #x2252
)
85 ("IMAGE OF OR APPROXIMATELY EQUAL TO" #x2253
)
86 ("COLON EQUALS" #x2254
)
87 ("EQUALS COLON" #x2255
)
88 ("RING IN EQUAL TO" #x2256
)
89 ("RING EQUAL TO" #x2257
)
90 ("CORRESPONDS TO" #x2258
)
92 ("EQUIANGULAR TO" #x225A
)
93 ("STAR EQUALS" #x225B
)
94 ("DELTA EQUAL TO" #x225C
)
95 ("EQUAL TO BY DEFINITION" #x225D
)
96 ("MEASURED BY" #x225E
)
97 ("QUESTIONED EQUAL TO" #x225F
)
98 ("NOT EQUAL TO" #x2260
)
99 ("IDENTICAL TO" #x2261
)
100 ("NOT IDENTICAL TO" #x2262
)
101 ("STRICTLY EQUIVALENT TO" #x2263
)
102 ("LESS-THAN OR EQUAL TO" #x2264
)
103 ("GREATER-THAN OR EQUAL TO" #x2265
)
104 ("LESS-THAN OVER EQUAL TO" #x2266
)
105 ("GREATER-THAN OVER EQUAL TO" #x2267
)
106 ("LESS-THAN BUT NOT EQUAL TO" #x2268
)
107 ("GREATER-THAN BUT NOT EQUAL TO" #x2269
)
108 ("MUCH LESS-THAN" #x226A
)
109 ("MUCH GREATER-THAN" #x226B
)
111 ("NOT EQUIVALENT TO" #x226D
)
112 ("NOT LESS-THAN" #x226E
)
113 ("NOT GREATER-THAN" #x226F
)
114 ("NEITHER LESS-THAN NOR EQUAL TO" #x2270
)
115 ("NEITHER GREATER-THAN NOR EQUAL TO" #x2271
)
116 ("LESS-THAN OR EQUIVALENT TO" #x2272
)
117 ("GREATER-THAN OR EQUIVALENT TO" #x2273
)
118 ("NEITHER LESS-THAN NOR EQUIVALENT TO" #x2274
)
119 ("NEITHER GREATER-THAN NOR EQUIVALENT TO" #x2275
)
120 ("LESS-THAN OR GREATER-THAN" #x2276
)
121 ("GREATER-THAN OR LESS-THAN" #x2277
)
122 ("NEITHER LESS-THAN NOR GREATER-THAN" #x2278
)
123 ("NEITHER GREATER-THAN NOR LESS-THAN" #x2279
)
126 ("PRECEDES OR EQUAL TO" #x227C
)
127 ("SUCCEEDS OR EQUAL TO" #x227D
)
128 ("PRECEDES OR EQUIVALENT TO" #x227E
)
129 ("SUCCEEDS OR EQUIVALENT TO" #x227F
)
130 ("DOES NOT PRECEDE" #x2280
)
131 ("DOES NOT SUCCEED" #x2281
)
133 ("SUPERSET OF" #x2283
)
134 ("NOT A SUBSET OF" #x2284
)
135 ("NOT A SUPERSET OF" #x2285
)
136 ("SUBSET OF OR EQUAL TO" #x2286
)
137 ("SUPERSET OF OR EQUAL TO" #x2287
)
138 ("NEITHER A SUBSET OF NOR EQUAL TO" #x2288
)
139 ("NEITHER A SUPERSET OF NOR EQUAL TO" #x2289
)
140 ("SUBSET OF WITH NOT EQUAL TO" #x228A
)
141 ("SUPERSET OF WITH NOT EQUAL TO" #x228B
)
143 ("MULTISET MULTIPLICATION" #x228D
)
144 ("MULTISET UNION" #x228E
)
145 ("SQUARE IMAGE OF" #x228F
)
146 ("SQUARE ORIGINAL OF" #x2290
)
147 ("SQUARE IMAGE OF OR EQUAL TO" #x2291
)
148 ("SQUARE ORIGINAL OF OR EQUAL TO" #x2292
)
149 ("SQUARE CAP" #x2293
)
150 ("SQUARE CUP" #x2294
)
151 ("CIRCLED PLUS" #x2295
)
152 ("CIRCLED MINUS" #x2296
)
153 ("CIRCLED TIMES" #x2297
)
154 ("CIRCLED DIVISION SLASH" #x2298
)
155 ("CIRCLED DOT OPERATOR" #x2299
)
156 ("CIRCLED RING OPERATOR" #x229A
)
157 ("CIRCLED ASTERISK OPERATOR" #x229B
)
158 ("CIRCLED EQUALS" #x229C
)
159 ("CIRCLED DASH" #x229D
)
160 ("SQUARED PLUS" #x229E
)
161 ("SQUARED MINUS" #x229F
)
162 ("SQUARED TIMES" #x22A0
)
163 ("SQUARED DOT OPERATOR" #x22A1
)
164 ("RIGHT TACK" #x22A2
)
172 ("TRIPLE VERTICAL BAR RIGHT TURNSTILE" #x22AA
)
173 ("DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AB
)
174 ("DOES NOT PROVE" #x22AC
)
176 ("DOES NOT FORCE" #x22AE
)
177 ("NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AF
)
178 ("PRECEDES UNDER RELATION" #x22B0
)
179 ("SUCCEEDS UNDER RELATION" #x22B1
)
180 ("NORMAL SUBGROUP OF" #x22B2
)
181 ("CONTAINS AS NORMAL SUBGROUP" #x22B3
)
182 ("NORMAL SUBGROUP OF OR EQUAL TO" #x22B4
)
183 ("CONTAINS AS NORMAL SUBGROUP OR EQUAL TO" #x22B5
)
184 ("ORIGINAL OF" #x22B6
)
187 ("HERMITIAN CONJUGATE MATRIX" #x22B9
)
188 ("INTERCALATE" #x22BA
)
192 ("RIGHT ANGLE WITH ARC" #x22BE
)
193 ("RIGHT TRIANGLE" #x22BF
)
194 ("N-ARY LOGICAL AND" #x22C0
)
195 ("N-ARY LOGICAL OR" #x22C1
)
196 ("N-ARY INTERSECTION" #x22C2
)
197 ("N-ARY UNION" #x22C3
)
198 ("DIAMOND OPERATOR" #x22C4
)
199 ("DOT OPERATOR" #x22C5
)
200 ("STAR OPERATOR" #x22C6
)
201 ("DIVISION TIMES" #x22C7
)
203 ("LEFT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22C9
)
204 ("RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22CA
)
205 ("LEFT SEMIDIRECT PRODUCT" #x22CB
)
206 ("RIGHT SEMIDIRECT PRODUCT" #x22CC
)
207 ("REVERSED TILDE EQUALS" #x22CD
)
208 ("CURLY LOGICAL OR" #x22CE
)
209 ("CURLY LOGICAL AND" #x22CF
)
210 ("DOUBLE SUBSET" #x22D0
)
211 ("DOUBLE SUPERSET" #x22D1
)
212 ("DOUBLE INTERSECTION" #x22D2
)
213 ("DOUBLE UNION" #x22D3
)
215 ("EQUAL AND PARALLEL TO" #x22D5
)
216 ("LESS-THAN WITH DOT" #x22D6
)
217 ("GREATER-THAN WITH DOT" #x22D7
)
218 ("VERY MUCH LESS-THAN" #x22D8
)
219 ("VERY MUCH GREATER-THAN" #x22D9
)
220 ("LESS-THAN EQUAL TO OR GREATER-THAN" #x22DA
)
221 ("GREATER-THAN EQUAL TO OR LESS-THAN" #x22DB
)
222 ("EQUAL TO OR LESS-THAN" #x22DC
)
223 ("EQUAL TO OR GREATER-THAN" #x22DD
)
224 ("EQUAL TO OR PRECEDES" #x22DE
)
225 ("EQUAL TO OR SUCCEEDS" #x22DF
)
226 ("DOES NOT PRECEDE OR EQUAL" #x22E0
)
227 ("DOES NOT SUCCEED OR EQUAL" #x22E1
)
228 ("NOT SQUARE IMAGE OF OR EQUAL TO" #x22E2
)
229 ("NOT SQUARE ORIGINAL OF OR EQUAL TO" #x22E3
)
230 ("SQUARE IMAGE OF OR NOT EQUAL TO" #x22E4
)
231 ("SQUARE ORIGINAL OF OR NOT EQUAL TO" #x22E5
)
232 ("LESS-THAN BUT NOT EQUIVALENT TO" #x22E6
)
233 ("GREATER-THAN BUT NOT EQUIVALENT TO" #x22E7
)
234 ("PRECEDES BUT NOT EQUIVALENT TO" #x22E8
)
235 ("SUCCEEDS BUT NOT EQUIVALENT TO" #x22E9
)
236 ("NOT NORMAL SUBGROUP OF" #x22EA
)
237 ("DOES NOT CONTAIN AS NORMAL SUBGROUP" #x22EB
)
238 ("NOT NORMAL SUBGROUP OF OR EQUAL TO" #x22EC
)
239 ("DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL" #x22ED
)
240 ("VERTICAL ELLIPSIS" #x22EE
)
241 ("MIDLINE HORIZONTAL ELLIPSIS" #x22EF
)
242 ("UP RIGHT DIAGONAL ELLIPSIS" #x22F0
)
243 ("DOWN RIGHT DIAGONAL ELLIPSIS" #x22F1
)
244 ("ELEMENT OF WITH LONG HORIZONTAL STROKE" #x22F2
)
245 ("ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F3
)
246 ("SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F4
)
247 ("ELEMENT OF WITH DOT ABOVE" #x22F5
)
248 ("ELEMENT OF WITH OVERBAR" #x22F6
)
249 ("SMALL ELEMENT OF WITH OVERBAR" #x22F7
)
250 ("ELEMENT OF WITH UNDERBAR" #x22F8
)
251 ("ELEMENT OF WITH TWO HORIZONTAL STROKES" #x22F9
)
252 ("CONTAINS WITH LONG HORIZONTAL STROKE" #x22FA
)
253 ("CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FB
)
254 ("SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FC
)
255 ("CONTAINS WITH OVERBAR" #x22FD
)
256 ("SMALL CONTAINS WITH OVERBAR" #x22FE
)
257 ("Z NOTATION BAG MEMBERSHIP" #x22FF
)
260 ;; arch-tag: 12911bcf-5cc6-4b8a-9f0e-48c0b6f85566
