Commit | Line | Data |
---|---|---|
6d4ca4d2 GM |
1 | (nxml-define-char-name-set 'mathematical-operators |
2 | '(("FOR ALL" #x2200) | |
3 | ("COMPLEMENT" #x2201) | |
4 | ("PARTIAL DIFFERENTIAL" #x2202) | |
5 | ("THERE EXISTS" #x2203) | |
6 | ("THERE DOES NOT EXIST" #x2204) | |
7 | ("EMPTY SET" #x2205) | |
8 | ("INCREMENT" #x2206) | |
9 | ("NABLA" #x2207) | |
10 | ("ELEMENT OF" #x2208) | |
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) | |
20 | ("MINUS SIGN" #x2212) | |
21 | ("MINUS-OR-PLUS SIGN" #x2213) | |
22 | ("DOT PLUS" #x2214) | |
23 | ("DIVISION SLASH" #x2215) | |
24 | ("SET MINUS" #x2216) | |
25 | ("ASTERISK OPERATOR" #x2217) | |
26 | ("RING OPERATOR" #x2218) | |
27 | ("BULLET OPERATOR" #x2219) | |
28 | ("SQUARE ROOT" #x221A) | |
29 | ("CUBE ROOT" #x221B) | |
30 | ("FOURTH ROOT" #x221C) | |
31 | ("PROPORTIONAL TO" #x221D) | |
32 | ("INFINITY" #x221E) | |
33 | ("RIGHT ANGLE" #x221F) | |
34 | ("ANGLE" #x2220) | |
35 | ("MEASURED ANGLE" #x2221) | |
36 | ("SPHERICAL ANGLE" #x2222) | |
37 | ("DIVIDES" #x2223) | |
38 | ("DOES NOT DIVIDE" #x2224) | |
39 | ("PARALLEL TO" #x2225) | |
40 | ("NOT PARALLEL TO" #x2226) | |
41 | ("LOGICAL AND" #x2227) | |
42 | ("LOGICAL OR" #x2228) | |
43 | ("INTERSECTION" #x2229) | |
44 | ("UNION" #x222A) | |
45 | ("INTEGRAL" #x222B) | |
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) | |
54 | ("THEREFORE" #x2234) | |
55 | ("BECAUSE" #x2235) | |
56 | ("RATIO" #x2236) | |
57 | ("PROPORTION" #x2237) | |
58 | ("DOT MINUS" #x2238) | |
59 | ("EXCESS" #x2239) | |
60 | ("GEOMETRIC PROPORTION" #x223A) | |
61 | ("HOMOTHETIC" #x223B) | |
62 | ("TILDE OPERATOR" #x223C) | |
63 | ("REVERSED TILDE" #x223D) | |
64 | ("INVERTED LAZY S" #x223E) | |
65 | ("SINE WAVE" #x223F) | |
66 | ("WREATH PRODUCT" #x2240) | |
67 | ("NOT TILDE" #x2241) | |
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) | |
91 | ("ESTIMATES" #x2259) | |
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) | |
110 | ("BETWEEN" #x226C) | |
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) | |
124 | ("PRECEDES" #x227A) | |
125 | ("SUCCEEDS" #x227B) | |
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) | |
132 | ("SUBSET OF" #x2282) | |
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) | |
142 | ("MULTISET" #x228C) | |
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) | |
165 | ("LEFT TACK" #x22A3) | |
166 | ("DOWN TACK" #x22A4) | |
167 | ("UP TACK" #x22A5) | |
168 | ("ASSERTION" #x22A6) | |
169 | ("MODELS" #x22A7) | |
170 | ("TRUE" #x22A8) | |
171 | ("FORCES" #x22A9) | |
172 | ("TRIPLE VERTICAL BAR RIGHT TURNSTILE" #x22AA) | |
173 | ("DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AB) | |
174 | ("DOES NOT PROVE" #x22AC) | |
175 | ("NOT TRUE" #x22AD) | |
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) | |
185 | ("IMAGE OF" #x22B7) | |
186 | ("MULTIMAP" #x22B8) | |
187 | ("HERMITIAN CONJUGATE MATRIX" #x22B9) | |
188 | ("INTERCALATE" #x22BA) | |
189 | ("XOR" #x22BB) | |
190 | ("NAND" #x22BC) | |
191 | ("NOR" #x22BD) | |
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) | |
202 | ("BOWTIE" #x22C8) | |
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) | |
214 | ("PITCHFORK" #x22D4) | |
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) | |
258 | )) | |
259 |