Mercurial > emacs
annotate etc/nxml/02200-022FF.el @ 95781:a17231a1f8f8
* dired.c (file_name_completion): Don't return t if the match is exact
but with different capitalization.
* minibuf.c (Ftry_completion): Simplify.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Tue, 10 Jun 2008 18:41:01 +0000 |
parents | d31b82a0e4b1 |
children | ef719132ddfa |
rev | line source |
---|---|
86620
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
1 (nxml-define-char-name-set 'mathematical-operators |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
2 '(("FOR ALL" #x2200) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
3 ("COMPLEMENT" #x2201) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
4 ("PARTIAL DIFFERENTIAL" #x2202) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
5 ("THERE EXISTS" #x2203) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
6 ("THERE DOES NOT EXIST" #x2204) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
7 ("EMPTY SET" #x2205) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
8 ("INCREMENT" #x2206) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
9 ("NABLA" #x2207) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
10 ("ELEMENT OF" #x2208) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
11 ("NOT AN ELEMENT OF" #x2209) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
12 ("SMALL ELEMENT OF" #x220A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
13 ("CONTAINS AS MEMBER" #x220B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
14 ("DOES NOT CONTAIN AS MEMBER" #x220C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
15 ("SMALL CONTAINS AS MEMBER" #x220D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
16 ("END OF PROOF" #x220E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
17 ("N-ARY PRODUCT" #x220F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
18 ("N-ARY COPRODUCT" #x2210) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
19 ("N-ARY SUMMATION" #x2211) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
20 ("MINUS SIGN" #x2212) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
21 ("MINUS-OR-PLUS SIGN" #x2213) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
22 ("DOT PLUS" #x2214) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
23 ("DIVISION SLASH" #x2215) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
24 ("SET MINUS" #x2216) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
25 ("ASTERISK OPERATOR" #x2217) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
26 ("RING OPERATOR" #x2218) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
27 ("BULLET OPERATOR" #x2219) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
28 ("SQUARE ROOT" #x221A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
29 ("CUBE ROOT" #x221B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
30 ("FOURTH ROOT" #x221C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
31 ("PROPORTIONAL TO" #x221D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
32 ("INFINITY" #x221E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
33 ("RIGHT ANGLE" #x221F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
34 ("ANGLE" #x2220) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
35 ("MEASURED ANGLE" #x2221) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
36 ("SPHERICAL ANGLE" #x2222) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
37 ("DIVIDES" #x2223) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
38 ("DOES NOT DIVIDE" #x2224) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
39 ("PARALLEL TO" #x2225) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
40 ("NOT PARALLEL TO" #x2226) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
41 ("LOGICAL AND" #x2227) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
42 ("LOGICAL OR" #x2228) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
43 ("INTERSECTION" #x2229) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
44 ("UNION" #x222A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
45 ("INTEGRAL" #x222B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
46 ("DOUBLE INTEGRAL" #x222C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
47 ("TRIPLE INTEGRAL" #x222D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
48 ("CONTOUR INTEGRAL" #x222E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
49 ("SURFACE INTEGRAL" #x222F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
50 ("VOLUME INTEGRAL" #x2230) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
51 ("CLOCKWISE INTEGRAL" #x2231) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
52 ("CLOCKWISE CONTOUR INTEGRAL" #x2232) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
53 ("ANTICLOCKWISE CONTOUR INTEGRAL" #x2233) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
54 ("THEREFORE" #x2234) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
55 ("BECAUSE" #x2235) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
56 ("RATIO" #x2236) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
57 ("PROPORTION" #x2237) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
58 ("DOT MINUS" #x2238) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
59 ("EXCESS" #x2239) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
60 ("GEOMETRIC PROPORTION" #x223A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
61 ("HOMOTHETIC" #x223B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
62 ("TILDE OPERATOR" #x223C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
63 ("REVERSED TILDE" #x223D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
64 ("INVERTED LAZY S" #x223E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
65 ("SINE WAVE" #x223F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
66 ("WREATH PRODUCT" #x2240) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
67 ("NOT TILDE" #x2241) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
68 ("MINUS TILDE" #x2242) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
69 ("ASYMPTOTICALLY EQUAL TO" #x2243) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
70 ("NOT ASYMPTOTICALLY EQUAL TO" #x2244) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
71 ("APPROXIMATELY EQUAL TO" #x2245) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
72 ("APPROXIMATELY BUT NOT ACTUALLY EQUAL TO" #x2246) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
73 ("NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO" #x2247) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
74 ("ALMOST EQUAL TO" #x2248) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
75 ("NOT ALMOST EQUAL TO" #x2249) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
76 ("ALMOST EQUAL OR EQUAL TO" #x224A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
77 ("TRIPLE TILDE" #x224B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
78 ("ALL EQUAL TO" #x224C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
79 ("EQUIVALENT TO" #x224D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
80 ("GEOMETRICALLY EQUIVALENT TO" #x224E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
81 ("DIFFERENCE BETWEEN" #x224F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
82 ("APPROACHES THE LIMIT" #x2250) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
83 ("GEOMETRICALLY EQUAL TO" #x2251) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
84 ("APPROXIMATELY EQUAL TO OR THE IMAGE OF" #x2252) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
85 ("IMAGE OF OR APPROXIMATELY EQUAL TO" #x2253) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
86 ("COLON EQUALS" #x2254) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
87 ("EQUALS COLON" #x2255) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
88 ("RING IN EQUAL TO" #x2256) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
89 ("RING EQUAL TO" #x2257) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
90 ("CORRESPONDS TO" #x2258) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
91 ("ESTIMATES" #x2259) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
92 ("EQUIANGULAR TO" #x225A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
93 ("STAR EQUALS" #x225B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
94 ("DELTA EQUAL TO" #x225C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
95 ("EQUAL TO BY DEFINITION" #x225D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
96 ("MEASURED BY" #x225E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
97 ("QUESTIONED EQUAL TO" #x225F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
98 ("NOT EQUAL TO" #x2260) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
99 ("IDENTICAL TO" #x2261) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
100 ("NOT IDENTICAL TO" #x2262) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
101 ("STRICTLY EQUIVALENT TO" #x2263) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
102 ("LESS-THAN OR EQUAL TO" #x2264) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
103 ("GREATER-THAN OR EQUAL TO" #x2265) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
104 ("LESS-THAN OVER EQUAL TO" #x2266) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
105 ("GREATER-THAN OVER EQUAL TO" #x2267) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
106 ("LESS-THAN BUT NOT EQUAL TO" #x2268) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
107 ("GREATER-THAN BUT NOT EQUAL TO" #x2269) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
108 ("MUCH LESS-THAN" #x226A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
109 ("MUCH GREATER-THAN" #x226B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
110 ("BETWEEN" #x226C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
111 ("NOT EQUIVALENT TO" #x226D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
112 ("NOT LESS-THAN" #x226E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
113 ("NOT GREATER-THAN" #x226F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
114 ("NEITHER LESS-THAN NOR EQUAL TO" #x2270) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
115 ("NEITHER GREATER-THAN NOR EQUAL TO" #x2271) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
116 ("LESS-THAN OR EQUIVALENT TO" #x2272) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
117 ("GREATER-THAN OR EQUIVALENT TO" #x2273) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
118 ("NEITHER LESS-THAN NOR EQUIVALENT TO" #x2274) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
119 ("NEITHER GREATER-THAN NOR EQUIVALENT TO" #x2275) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
120 ("LESS-THAN OR GREATER-THAN" #x2276) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
121 ("GREATER-THAN OR LESS-THAN" #x2277) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
122 ("NEITHER LESS-THAN NOR GREATER-THAN" #x2278) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
123 ("NEITHER GREATER-THAN NOR LESS-THAN" #x2279) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
124 ("PRECEDES" #x227A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
125 ("SUCCEEDS" #x227B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
126 ("PRECEDES OR EQUAL TO" #x227C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
127 ("SUCCEEDS OR EQUAL TO" #x227D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
128 ("PRECEDES OR EQUIVALENT TO" #x227E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
129 ("SUCCEEDS OR EQUIVALENT TO" #x227F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
130 ("DOES NOT PRECEDE" #x2280) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
131 ("DOES NOT SUCCEED" #x2281) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
132 ("SUBSET OF" #x2282) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
133 ("SUPERSET OF" #x2283) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
134 ("NOT A SUBSET OF" #x2284) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
135 ("NOT A SUPERSET OF" #x2285) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
136 ("SUBSET OF OR EQUAL TO" #x2286) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
137 ("SUPERSET OF OR EQUAL TO" #x2287) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
138 ("NEITHER A SUBSET OF NOR EQUAL TO" #x2288) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
139 ("NEITHER A SUPERSET OF NOR EQUAL TO" #x2289) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
140 ("SUBSET OF WITH NOT EQUAL TO" #x228A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
141 ("SUPERSET OF WITH NOT EQUAL TO" #x228B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
142 ("MULTISET" #x228C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
143 ("MULTISET MULTIPLICATION" #x228D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
144 ("MULTISET UNION" #x228E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
145 ("SQUARE IMAGE OF" #x228F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
146 ("SQUARE ORIGINAL OF" #x2290) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
147 ("SQUARE IMAGE OF OR EQUAL TO" #x2291) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
148 ("SQUARE ORIGINAL OF OR EQUAL TO" #x2292) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
149 ("SQUARE CAP" #x2293) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
150 ("SQUARE CUP" #x2294) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
151 ("CIRCLED PLUS" #x2295) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
152 ("CIRCLED MINUS" #x2296) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
153 ("CIRCLED TIMES" #x2297) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
154 ("CIRCLED DIVISION SLASH" #x2298) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
155 ("CIRCLED DOT OPERATOR" #x2299) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
156 ("CIRCLED RING OPERATOR" #x229A) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
157 ("CIRCLED ASTERISK OPERATOR" #x229B) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
158 ("CIRCLED EQUALS" #x229C) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
159 ("CIRCLED DASH" #x229D) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
160 ("SQUARED PLUS" #x229E) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
161 ("SQUARED MINUS" #x229F) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
162 ("SQUARED TIMES" #x22A0) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
163 ("SQUARED DOT OPERATOR" #x22A1) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
164 ("RIGHT TACK" #x22A2) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
165 ("LEFT TACK" #x22A3) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
166 ("DOWN TACK" #x22A4) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
167 ("UP TACK" #x22A5) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
168 ("ASSERTION" #x22A6) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
169 ("MODELS" #x22A7) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
170 ("TRUE" #x22A8) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
171 ("FORCES" #x22A9) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
172 ("TRIPLE VERTICAL BAR RIGHT TURNSTILE" #x22AA) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
173 ("DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AB) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
174 ("DOES NOT PROVE" #x22AC) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
175 ("NOT TRUE" #x22AD) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
176 ("DOES NOT FORCE" #x22AE) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
177 ("NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AF) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
178 ("PRECEDES UNDER RELATION" #x22B0) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
179 ("SUCCEEDS UNDER RELATION" #x22B1) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
180 ("NORMAL SUBGROUP OF" #x22B2) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
181 ("CONTAINS AS NORMAL SUBGROUP" #x22B3) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
182 ("NORMAL SUBGROUP OF OR EQUAL TO" #x22B4) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
183 ("CONTAINS AS NORMAL SUBGROUP OR EQUAL TO" #x22B5) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
184 ("ORIGINAL OF" #x22B6) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
185 ("IMAGE OF" #x22B7) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
186 ("MULTIMAP" #x22B8) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
187 ("HERMITIAN CONJUGATE MATRIX" #x22B9) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
188 ("INTERCALATE" #x22BA) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
189 ("XOR" #x22BB) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
190 ("NAND" #x22BC) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
191 ("NOR" #x22BD) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
192 ("RIGHT ANGLE WITH ARC" #x22BE) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
193 ("RIGHT TRIANGLE" #x22BF) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
194 ("N-ARY LOGICAL AND" #x22C0) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
195 ("N-ARY LOGICAL OR" #x22C1) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
196 ("N-ARY INTERSECTION" #x22C2) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
197 ("N-ARY UNION" #x22C3) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
198 ("DIAMOND OPERATOR" #x22C4) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
199 ("DOT OPERATOR" #x22C5) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
200 ("STAR OPERATOR" #x22C6) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
201 ("DIVISION TIMES" #x22C7) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
202 ("BOWTIE" #x22C8) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
203 ("LEFT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22C9) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
204 ("RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22CA) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
205 ("LEFT SEMIDIRECT PRODUCT" #x22CB) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
206 ("RIGHT SEMIDIRECT PRODUCT" #x22CC) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
207 ("REVERSED TILDE EQUALS" #x22CD) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
208 ("CURLY LOGICAL OR" #x22CE) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
209 ("CURLY LOGICAL AND" #x22CF) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
210 ("DOUBLE SUBSET" #x22D0) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
211 ("DOUBLE SUPERSET" #x22D1) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
212 ("DOUBLE INTERSECTION" #x22D2) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
213 ("DOUBLE UNION" #x22D3) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
214 ("PITCHFORK" #x22D4) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
215 ("EQUAL AND PARALLEL TO" #x22D5) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
216 ("LESS-THAN WITH DOT" #x22D6) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
217 ("GREATER-THAN WITH DOT" #x22D7) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
218 ("VERY MUCH LESS-THAN" #x22D8) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
219 ("VERY MUCH GREATER-THAN" #x22D9) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
220 ("LESS-THAN EQUAL TO OR GREATER-THAN" #x22DA) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
221 ("GREATER-THAN EQUAL TO OR LESS-THAN" #x22DB) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
222 ("EQUAL TO OR LESS-THAN" #x22DC) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
223 ("EQUAL TO OR GREATER-THAN" #x22DD) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
224 ("EQUAL TO OR PRECEDES" #x22DE) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
225 ("EQUAL TO OR SUCCEEDS" #x22DF) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
226 ("DOES NOT PRECEDE OR EQUAL" #x22E0) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
227 ("DOES NOT SUCCEED OR EQUAL" #x22E1) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
228 ("NOT SQUARE IMAGE OF OR EQUAL TO" #x22E2) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
229 ("NOT SQUARE ORIGINAL OF OR EQUAL TO" #x22E3) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
230 ("SQUARE IMAGE OF OR NOT EQUAL TO" #x22E4) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
231 ("SQUARE ORIGINAL OF OR NOT EQUAL TO" #x22E5) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
232 ("LESS-THAN BUT NOT EQUIVALENT TO" #x22E6) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
233 ("GREATER-THAN BUT NOT EQUIVALENT TO" #x22E7) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
234 ("PRECEDES BUT NOT EQUIVALENT TO" #x22E8) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
235 ("SUCCEEDS BUT NOT EQUIVALENT TO" #x22E9) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
236 ("NOT NORMAL SUBGROUP OF" #x22EA) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
237 ("DOES NOT CONTAIN AS NORMAL SUBGROUP" #x22EB) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
238 ("NOT NORMAL SUBGROUP OF OR EQUAL TO" #x22EC) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
239 ("DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL" #x22ED) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
240 ("VERTICAL ELLIPSIS" #x22EE) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
241 ("MIDLINE HORIZONTAL ELLIPSIS" #x22EF) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
242 ("UP RIGHT DIAGONAL ELLIPSIS" #x22F0) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
243 ("DOWN RIGHT DIAGONAL ELLIPSIS" #x22F1) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
244 ("ELEMENT OF WITH LONG HORIZONTAL STROKE" #x22F2) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
245 ("ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F3) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
246 ("SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F4) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
247 ("ELEMENT OF WITH DOT ABOVE" #x22F5) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
248 ("ELEMENT OF WITH OVERBAR" #x22F6) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
249 ("SMALL ELEMENT OF WITH OVERBAR" #x22F7) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
250 ("ELEMENT OF WITH UNDERBAR" #x22F8) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
251 ("ELEMENT OF WITH TWO HORIZONTAL STROKES" #x22F9) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
252 ("CONTAINS WITH LONG HORIZONTAL STROKE" #x22FA) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
253 ("CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FB) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
254 ("SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FC) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
255 ("CONTAINS WITH OVERBAR" #x22FD) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
256 ("SMALL CONTAINS WITH OVERBAR" #x22FE) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
257 ("Z NOTATION BAG MEMBERSHIP" #x22FF) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
258 )) |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
259 |
d31b82a0e4b1
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
260 ;; arch-tag: 12911bcf-5cc6-4b8a-9f0e-48c0b6f85566 |