Mercurial > emacs
comparison etc/nxml/02200-022FF.el @ 86620:d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Wed, 28 Nov 2007 05:02:59 +0000 |
parents | |
children | ef719132ddfa |
comparison
equal
deleted
inserted
replaced
86619:9e5eee89c1ea | 86620:d31b82a0e4b1 |
---|---|
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 | |
260 ;; arch-tag: 12911bcf-5cc6-4b8a-9f0e-48c0b6f85566 |