"Fossies" - the Fresh Open Source Software Archive

Member "emacs-25.3/etc/nxml/02200-022FF.el" (29 Jun 2016, 9091 Bytes) of package /linux/misc/emacs-25.3.tar.xz:


As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) Lisp source code syntax highlighting (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

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