# HG changeset patch # User Glenn Morris # Date 1196226179 0 # Node ID d31b82a0e4b10e9b94dc7159bffacf162d72a16c # Parent 9e5eee89c1ea8f454776b813a88d12ae0ea3c2a1 Move here from lisp/nxml/char-name/unicode diff -r 9e5eee89c1ea -r d31b82a0e4b1 etc/nxml/02200-022FF.el --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/etc/nxml/02200-022FF.el Wed Nov 28 05:02:59 2007 +0000 @@ -0,0 +1,260 @@ +(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