Mercurial > emacs
view etc/nxml/02200-022FF.el @ 108182:7aa45e6e5f62
* bindings.el (mode-line-abbrev-mode, mode-line-auto-fill-mode): Remove.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Fri, 30 Apr 2010 21:39:58 -0400 |
parents | d31b82a0e4b1 |
children | ef719132ddfa |
line wrap: on
line source
(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