# HG changeset patch # User Glenn Morris # Date 1196226473 0 # Node ID bbe7b9611e9985ced2b2847c869e78eb5fb0842f # Parent 55602d584a8f1468b0c1d40bd02c5ed3534a0064 Move to etc/nxml diff -r 55602d584a8f -r bbe7b9611e99 lisp/nxml/char-name/unicode/02200-022FF.el --- a/lisp/nxml/char-name/unicode/02200-022FF.el Wed Nov 28 05:07:48 2007 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,260 +0,0 @@ -(nxml-define-char-name-set 'mathematical-operators - '(("FOR ALL" #x2200) - ("COMPLEMENT" #x2201) - ("PARTIAL DIFFERENTIAL" #x2202) - ("THERE EXISTS" #x2203) - ("THERE DOES NOT EXIST" #x2204) - ("EMPTY SET" #x2205) - ("INCREMENT" #x2206) - ("NABLA" #x2207) - ("ELEMENT OF" #x2208) - ("NOT AN ELEMENT OF" #x2209) - ("SMALL ELEMENT OF" #x220A) - ("CONTAINS AS MEMBER" #x220B) - ("DOES NOT CONTAIN AS MEMBER" #x220C) - ("SMALL CONTAINS AS MEMBER" #x220D) - ("END OF PROOF" #x220E) - ("N-ARY PRODUCT" #x220F) - ("N-ARY COPRODUCT" #x2210) - ("N-ARY SUMMATION" #x2211) - ("MINUS SIGN" #x2212) - ("MINUS-OR-PLUS SIGN" #x2213) - ("DOT PLUS" #x2214) - ("DIVISION SLASH" #x2215) - ("SET MINUS" #x2216) - ("ASTERISK OPERATOR" #x2217) - ("RING OPERATOR" #x2218) - ("BULLET OPERATOR" #x2219) - ("SQUARE ROOT" #x221A) - ("CUBE ROOT" #x221B) - ("FOURTH ROOT" #x221C) - ("PROPORTIONAL TO" #x221D) - ("INFINITY" #x221E) - ("RIGHT ANGLE" #x221F) - ("ANGLE" #x2220) - ("MEASURED ANGLE" #x2221) - ("SPHERICAL ANGLE" #x2222) - ("DIVIDES" #x2223) - ("DOES NOT DIVIDE" #x2224) - ("PARALLEL TO" #x2225) - ("NOT PARALLEL TO" #x2226) - ("LOGICAL AND" #x2227) - ("LOGICAL OR" #x2228) - ("INTERSECTION" #x2229) - ("UNION" #x222A) - ("INTEGRAL" #x222B) - ("DOUBLE INTEGRAL" #x222C) - ("TRIPLE INTEGRAL" #x222D) - ("CONTOUR INTEGRAL" #x222E) - ("SURFACE INTEGRAL" #x222F) - ("VOLUME INTEGRAL" #x2230) - ("CLOCKWISE INTEGRAL" #x2231) - ("CLOCKWISE CONTOUR INTEGRAL" #x2232) - ("ANTICLOCKWISE CONTOUR INTEGRAL" #x2233) - ("THEREFORE" #x2234) - ("BECAUSE" #x2235) - ("RATIO" #x2236) - ("PROPORTION" #x2237) - ("DOT MINUS" #x2238) - ("EXCESS" #x2239) - ("GEOMETRIC PROPORTION" #x223A) - ("HOMOTHETIC" #x223B) - ("TILDE OPERATOR" #x223C) - ("REVERSED TILDE" #x223D) - ("INVERTED LAZY S" #x223E) - ("SINE WAVE" #x223F) - ("WREATH PRODUCT" #x2240) - ("NOT TILDE" #x2241) - ("MINUS TILDE" #x2242) - ("ASYMPTOTICALLY EQUAL TO" #x2243) - ("NOT ASYMPTOTICALLY EQUAL TO" #x2244) - ("APPROXIMATELY EQUAL TO" #x2245) - ("APPROXIMATELY BUT NOT ACTUALLY EQUAL TO" #x2246) - ("NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO" #x2247) - ("ALMOST EQUAL TO" #x2248) - ("NOT ALMOST EQUAL TO" #x2249) - ("ALMOST EQUAL OR EQUAL TO" #x224A) - ("TRIPLE TILDE" #x224B) - ("ALL EQUAL TO" #x224C) - ("EQUIVALENT TO" #x224D) - ("GEOMETRICALLY EQUIVALENT TO" #x224E) - ("DIFFERENCE BETWEEN" #x224F) - ("APPROACHES THE LIMIT" #x2250) - ("GEOMETRICALLY EQUAL TO" #x2251) - ("APPROXIMATELY EQUAL TO OR THE IMAGE OF" #x2252) - ("IMAGE OF OR APPROXIMATELY EQUAL TO" #x2253) - ("COLON EQUALS" #x2254) - ("EQUALS COLON" #x2255) - ("RING IN EQUAL TO" #x2256) - ("RING EQUAL TO" #x2257) - ("CORRESPONDS TO" #x2258) - ("ESTIMATES" #x2259) - ("EQUIANGULAR TO" #x225A) - ("STAR EQUALS" #x225B) - ("DELTA EQUAL TO" #x225C) - ("EQUAL TO BY DEFINITION" #x225D) - ("MEASURED BY" #x225E) - ("QUESTIONED EQUAL TO" #x225F) - ("NOT EQUAL TO" #x2260) - ("IDENTICAL TO" #x2261) - ("NOT IDENTICAL TO" #x2262) - ("STRICTLY EQUIVALENT TO" #x2263) - ("LESS-THAN OR EQUAL TO" #x2264) - ("GREATER-THAN OR EQUAL TO" #x2265) - ("LESS-THAN OVER EQUAL TO" #x2266) - ("GREATER-THAN OVER EQUAL TO" #x2267) - ("LESS-THAN BUT NOT EQUAL TO" #x2268) - ("GREATER-THAN BUT NOT EQUAL TO" #x2269) - ("MUCH LESS-THAN" #x226A) - ("MUCH GREATER-THAN" #x226B) - ("BETWEEN" #x226C) - ("NOT EQUIVALENT TO" #x226D) - ("NOT LESS-THAN" #x226E) - ("NOT GREATER-THAN" #x226F) - ("NEITHER LESS-THAN NOR EQUAL TO" #x2270) - ("NEITHER GREATER-THAN NOR EQUAL TO" #x2271) - ("LESS-THAN OR EQUIVALENT TO" #x2272) - ("GREATER-THAN OR EQUIVALENT TO" #x2273) - ("NEITHER LESS-THAN NOR EQUIVALENT TO" #x2274) - ("NEITHER GREATER-THAN NOR EQUIVALENT TO" #x2275) - ("LESS-THAN OR GREATER-THAN" #x2276) - ("GREATER-THAN OR LESS-THAN" #x2277) - ("NEITHER LESS-THAN NOR GREATER-THAN" #x2278) - ("NEITHER GREATER-THAN NOR LESS-THAN" #x2279) - ("PRECEDES" #x227A) - ("SUCCEEDS" #x227B) - ("PRECEDES OR EQUAL TO" #x227C) - ("SUCCEEDS OR EQUAL TO" #x227D) - ("PRECEDES OR EQUIVALENT TO" #x227E) - ("SUCCEEDS OR EQUIVALENT TO" #x227F) - ("DOES NOT PRECEDE" #x2280) - ("DOES NOT SUCCEED" #x2281) - ("SUBSET OF" #x2282) - ("SUPERSET OF" #x2283) - ("NOT A SUBSET OF" #x2284) - ("NOT A SUPERSET OF" #x2285) - ("SUBSET OF OR EQUAL TO" #x2286) - ("SUPERSET OF OR EQUAL TO" #x2287) - ("NEITHER A SUBSET OF NOR EQUAL TO" #x2288) - ("NEITHER A SUPERSET OF NOR EQUAL TO" #x2289) - ("SUBSET OF WITH NOT EQUAL TO" #x228A) - ("SUPERSET OF WITH NOT EQUAL TO" #x228B) - ("MULTISET" #x228C) - ("MULTISET MULTIPLICATION" #x228D) - ("MULTISET UNION" #x228E) - ("SQUARE IMAGE OF" #x228F) - ("SQUARE ORIGINAL OF" #x2290) - ("SQUARE IMAGE OF OR EQUAL TO" #x2291) - ("SQUARE ORIGINAL OF OR EQUAL TO" #x2292) - ("SQUARE CAP" #x2293) - ("SQUARE CUP" #x2294) - ("CIRCLED PLUS" #x2295) - ("CIRCLED MINUS" #x2296) - ("CIRCLED TIMES" #x2297) - ("CIRCLED DIVISION SLASH" #x2298) - ("CIRCLED DOT OPERATOR" #x2299) - ("CIRCLED RING OPERATOR" #x229A) - ("CIRCLED ASTERISK OPERATOR" #x229B) - ("CIRCLED EQUALS" #x229C) - ("CIRCLED DASH" #x229D) - ("SQUARED PLUS" #x229E) - ("SQUARED MINUS" #x229F) - ("SQUARED TIMES" #x22A0) - ("SQUARED DOT OPERATOR" #x22A1) - ("RIGHT TACK" #x22A2) - ("LEFT TACK" #x22A3) - ("DOWN TACK" #x22A4) - ("UP TACK" #x22A5) - ("ASSERTION" #x22A6) - ("MODELS" #x22A7) - ("TRUE" #x22A8) - ("FORCES" #x22A9) - ("TRIPLE VERTICAL BAR RIGHT TURNSTILE" #x22AA) - ("DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AB) - ("DOES NOT PROVE" #x22AC) - ("NOT TRUE" #x22AD) - ("DOES NOT FORCE" #x22AE) - ("NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AF) - ("PRECEDES UNDER RELATION" #x22B0) - ("SUCCEEDS UNDER RELATION" #x22B1) - ("NORMAL SUBGROUP OF" #x22B2) - ("CONTAINS AS NORMAL SUBGROUP" #x22B3) - ("NORMAL SUBGROUP OF OR EQUAL TO" #x22B4) - ("CONTAINS AS NORMAL SUBGROUP OR EQUAL TO" #x22B5) - ("ORIGINAL OF" #x22B6) - ("IMAGE OF" #x22B7) - ("MULTIMAP" #x22B8) - ("HERMITIAN CONJUGATE MATRIX" #x22B9) - ("INTERCALATE" #x22BA) - ("XOR" #x22BB) - ("NAND" #x22BC) - ("NOR" #x22BD) - ("RIGHT ANGLE WITH ARC" #x22BE) - ("RIGHT TRIANGLE" #x22BF) - ("N-ARY LOGICAL AND" #x22C0) - ("N-ARY LOGICAL OR" #x22C1) - ("N-ARY INTERSECTION" #x22C2) - ("N-ARY UNION" #x22C3) - ("DIAMOND OPERATOR" #x22C4) - ("DOT OPERATOR" #x22C5) - ("STAR OPERATOR" #x22C6) - ("DIVISION TIMES" #x22C7) - ("BOWTIE" #x22C8) - ("LEFT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22C9) - ("RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22CA) - ("LEFT SEMIDIRECT PRODUCT" #x22CB) - ("RIGHT SEMIDIRECT PRODUCT" #x22CC) - ("REVERSED TILDE EQUALS" #x22CD) - ("CURLY LOGICAL OR" #x22CE) - ("CURLY LOGICAL AND" #x22CF) - ("DOUBLE SUBSET" #x22D0) - ("DOUBLE SUPERSET" #x22D1) - ("DOUBLE INTERSECTION" #x22D2) - ("DOUBLE UNION" #x22D3) - ("PITCHFORK" #x22D4) - ("EQUAL AND PARALLEL TO" #x22D5) - ("LESS-THAN WITH DOT" #x22D6) - ("GREATER-THAN WITH DOT" #x22D7) - ("VERY MUCH LESS-THAN" #x22D8) - ("VERY MUCH GREATER-THAN" #x22D9) - ("LESS-THAN EQUAL TO OR GREATER-THAN" #x22DA) - ("GREATER-THAN EQUAL TO OR LESS-THAN" #x22DB) - ("EQUAL TO OR LESS-THAN" #x22DC) - ("EQUAL TO OR GREATER-THAN" #x22DD) - ("EQUAL TO OR PRECEDES" #x22DE) - ("EQUAL TO OR SUCCEEDS" #x22DF) - ("DOES NOT PRECEDE OR EQUAL" #x22E0) - ("DOES NOT SUCCEED OR EQUAL" #x22E1) - ("NOT SQUARE IMAGE OF OR EQUAL TO" #x22E2) - ("NOT SQUARE ORIGINAL OF OR EQUAL TO" #x22E3) - ("SQUARE IMAGE OF OR NOT EQUAL TO" #x22E4) - ("SQUARE ORIGINAL OF OR NOT EQUAL TO" #x22E5) - ("LESS-THAN BUT NOT EQUIVALENT TO" #x22E6) - ("GREATER-THAN BUT NOT EQUIVALENT TO" #x22E7) - ("PRECEDES BUT NOT EQUIVALENT TO" #x22E8) - ("SUCCEEDS BUT NOT EQUIVALENT TO" #x22E9) - ("NOT NORMAL SUBGROUP OF" #x22EA) - ("DOES NOT CONTAIN AS NORMAL SUBGROUP" #x22EB) - ("NOT NORMAL SUBGROUP OF OR EQUAL TO" #x22EC) - ("DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL" #x22ED) - ("VERTICAL ELLIPSIS" #x22EE) - ("MIDLINE HORIZONTAL ELLIPSIS" #x22EF) - ("UP RIGHT DIAGONAL ELLIPSIS" #x22F0) - ("DOWN RIGHT DIAGONAL ELLIPSIS" #x22F1) - ("ELEMENT OF WITH LONG HORIZONTAL STROKE" #x22F2) - ("ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F3) - ("SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F4) - ("ELEMENT OF WITH DOT ABOVE" #x22F5) - ("ELEMENT OF WITH OVERBAR" #x22F6) - ("SMALL ELEMENT OF WITH OVERBAR" #x22F7) - ("ELEMENT OF WITH UNDERBAR" #x22F8) - ("ELEMENT OF WITH TWO HORIZONTAL STROKES" #x22F9) - ("CONTAINS WITH LONG HORIZONTAL STROKE" #x22FA) - ("CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FB) - ("SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FC) - ("CONTAINS WITH OVERBAR" #x22FD) - ("SMALL CONTAINS WITH OVERBAR" #x22FE) - ("Z NOTATION BAG MEMBERSHIP" #x22FF) - )) - -;; arch-tag: 12911bcf-5cc6-4b8a-9f0e-48c0b6f85566