annotate etc/nxml/02200-022FF.el @ 97949:e763543ca817

(calc-dispatch-map): Fix handling of upcased and control-prefixed keys. (Bug #835)
author Martin Rudalics <rudalics@gmx.at>
date Tue, 02 Sep 2008 08:49:01 +0000
parents d31b82a0e4b1
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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