"Fossies" - the Fresh Open Source Software Archive

Member "emacs-25.3/etc/nxml/02460-024FF.el" (29 Jun 2016, 6945 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 'enclosed-alphanumerics
    2   '(("CIRCLED DIGIT ONE" #x2460)
    3     ("CIRCLED DIGIT TWO" #x2461)
    4     ("CIRCLED DIGIT THREE" #x2462)
    5     ("CIRCLED DIGIT FOUR" #x2463)
    6     ("CIRCLED DIGIT FIVE" #x2464)
    7     ("CIRCLED DIGIT SIX" #x2465)
    8     ("CIRCLED DIGIT SEVEN" #x2466)
    9     ("CIRCLED DIGIT EIGHT" #x2467)
   10     ("CIRCLED DIGIT NINE" #x2468)
   11     ("CIRCLED NUMBER TEN" #x2469)
   12     ("CIRCLED NUMBER ELEVEN" #x246A)
   13     ("CIRCLED NUMBER TWELVE" #x246B)
   14     ("CIRCLED NUMBER THIRTEEN" #x246C)
   15     ("CIRCLED NUMBER FOURTEEN" #x246D)
   16     ("CIRCLED NUMBER FIFTEEN" #x246E)
   17     ("CIRCLED NUMBER SIXTEEN" #x246F)
   18     ("CIRCLED NUMBER SEVENTEEN" #x2470)
   19     ("CIRCLED NUMBER EIGHTEEN" #x2471)
   20     ("CIRCLED NUMBER NINETEEN" #x2472)
   21     ("CIRCLED NUMBER TWENTY" #x2473)
   22     ("PARENTHESIZED DIGIT ONE" #x2474)
   23     ("PARENTHESIZED DIGIT TWO" #x2475)
   24     ("PARENTHESIZED DIGIT THREE" #x2476)
   25     ("PARENTHESIZED DIGIT FOUR" #x2477)
   26     ("PARENTHESIZED DIGIT FIVE" #x2478)
   27     ("PARENTHESIZED DIGIT SIX" #x2479)
   28     ("PARENTHESIZED DIGIT SEVEN" #x247A)
   29     ("PARENTHESIZED DIGIT EIGHT" #x247B)
   30     ("PARENTHESIZED DIGIT NINE" #x247C)
   31     ("PARENTHESIZED NUMBER TEN" #x247D)
   32     ("PARENTHESIZED NUMBER ELEVEN" #x247E)
   33     ("PARENTHESIZED NUMBER TWELVE" #x247F)
   34     ("PARENTHESIZED NUMBER THIRTEEN" #x2480)
   35     ("PARENTHESIZED NUMBER FOURTEEN" #x2481)
   36     ("PARENTHESIZED NUMBER FIFTEEN" #x2482)
   37     ("PARENTHESIZED NUMBER SIXTEEN" #x2483)
   38     ("PARENTHESIZED NUMBER SEVENTEEN" #x2484)
   39     ("PARENTHESIZED NUMBER EIGHTEEN" #x2485)
   40     ("PARENTHESIZED NUMBER NINETEEN" #x2486)
   41     ("PARENTHESIZED NUMBER TWENTY" #x2487)
   42     ("DIGIT ONE FULL STOP" #x2488)
   43     ("DIGIT TWO FULL STOP" #x2489)
   44     ("DIGIT THREE FULL STOP" #x248A)
   45     ("DIGIT FOUR FULL STOP" #x248B)
   46     ("DIGIT FIVE FULL STOP" #x248C)
   47     ("DIGIT SIX FULL STOP" #x248D)
   48     ("DIGIT SEVEN FULL STOP" #x248E)
   49     ("DIGIT EIGHT FULL STOP" #x248F)
   50     ("DIGIT NINE FULL STOP" #x2490)
   51     ("NUMBER TEN FULL STOP" #x2491)
   52     ("NUMBER ELEVEN FULL STOP" #x2492)
   53     ("NUMBER TWELVE FULL STOP" #x2493)
   54     ("NUMBER THIRTEEN FULL STOP" #x2494)
   55     ("NUMBER FOURTEEN FULL STOP" #x2495)
   56     ("NUMBER FIFTEEN FULL STOP" #x2496)
   57     ("NUMBER SIXTEEN FULL STOP" #x2497)
   58     ("NUMBER SEVENTEEN FULL STOP" #x2498)
   59     ("NUMBER EIGHTEEN FULL STOP" #x2499)
   60     ("NUMBER NINETEEN FULL STOP" #x249A)
   61     ("NUMBER TWENTY FULL STOP" #x249B)
   62     ("PARENTHESIZED LATIN SMALL LETTER A" #x249C)
   63     ("PARENTHESIZED LATIN SMALL LETTER B" #x249D)
   64     ("PARENTHESIZED LATIN SMALL LETTER C" #x249E)
   65     ("PARENTHESIZED LATIN SMALL LETTER D" #x249F)
   66     ("PARENTHESIZED LATIN SMALL LETTER E" #x24A0)
   67     ("PARENTHESIZED LATIN SMALL LETTER F" #x24A1)
   68     ("PARENTHESIZED LATIN SMALL LETTER G" #x24A2)
   69     ("PARENTHESIZED LATIN SMALL LETTER H" #x24A3)
   70     ("PARENTHESIZED LATIN SMALL LETTER I" #x24A4)
   71     ("PARENTHESIZED LATIN SMALL LETTER J" #x24A5)
   72     ("PARENTHESIZED LATIN SMALL LETTER K" #x24A6)
   73     ("PARENTHESIZED LATIN SMALL LETTER L" #x24A7)
   74     ("PARENTHESIZED LATIN SMALL LETTER M" #x24A8)
   75     ("PARENTHESIZED LATIN SMALL LETTER N" #x24A9)
   76     ("PARENTHESIZED LATIN SMALL LETTER O" #x24AA)
   77     ("PARENTHESIZED LATIN SMALL LETTER P" #x24AB)
   78     ("PARENTHESIZED LATIN SMALL LETTER Q" #x24AC)
   79     ("PARENTHESIZED LATIN SMALL LETTER R" #x24AD)
   80     ("PARENTHESIZED LATIN SMALL LETTER S" #x24AE)
   81     ("PARENTHESIZED LATIN SMALL LETTER T" #x24AF)
   82     ("PARENTHESIZED LATIN SMALL LETTER U" #x24B0)
   83     ("PARENTHESIZED LATIN SMALL LETTER V" #x24B1)
   84     ("PARENTHESIZED LATIN SMALL LETTER W" #x24B2)
   85     ("PARENTHESIZED LATIN SMALL LETTER X" #x24B3)
   86     ("PARENTHESIZED LATIN SMALL LETTER Y" #x24B4)
   87     ("PARENTHESIZED LATIN SMALL LETTER Z" #x24B5)
   88     ("CIRCLED LATIN CAPITAL LETTER A" #x24B6)
   89     ("CIRCLED LATIN CAPITAL LETTER B" #x24B7)
   90     ("CIRCLED LATIN CAPITAL LETTER C" #x24B8)
   91     ("CIRCLED LATIN CAPITAL LETTER D" #x24B9)
   92     ("CIRCLED LATIN CAPITAL LETTER E" #x24BA)
   93     ("CIRCLED LATIN CAPITAL LETTER F" #x24BB)
   94     ("CIRCLED LATIN CAPITAL LETTER G" #x24BC)
   95     ("CIRCLED LATIN CAPITAL LETTER H" #x24BD)
   96     ("CIRCLED LATIN CAPITAL LETTER I" #x24BE)
   97     ("CIRCLED LATIN CAPITAL LETTER J" #x24BF)
   98     ("CIRCLED LATIN CAPITAL LETTER K" #x24C0)
   99     ("CIRCLED LATIN CAPITAL LETTER L" #x24C1)
  100     ("CIRCLED LATIN CAPITAL LETTER M" #x24C2)
  101     ("CIRCLED LATIN CAPITAL LETTER N" #x24C3)
  102     ("CIRCLED LATIN CAPITAL LETTER O" #x24C4)
  103     ("CIRCLED LATIN CAPITAL LETTER P" #x24C5)
  104     ("CIRCLED LATIN CAPITAL LETTER Q" #x24C6)
  105     ("CIRCLED LATIN CAPITAL LETTER R" #x24C7)
  106     ("CIRCLED LATIN CAPITAL LETTER S" #x24C8)
  107     ("CIRCLED LATIN CAPITAL LETTER T" #x24C9)
  108     ("CIRCLED LATIN CAPITAL LETTER U" #x24CA)
  109     ("CIRCLED LATIN CAPITAL LETTER V" #x24CB)
  110     ("CIRCLED LATIN CAPITAL LETTER W" #x24CC)
  111     ("CIRCLED LATIN CAPITAL LETTER X" #x24CD)
  112     ("CIRCLED LATIN CAPITAL LETTER Y" #x24CE)
  113     ("CIRCLED LATIN CAPITAL LETTER Z" #x24CF)
  114     ("CIRCLED LATIN SMALL LETTER A" #x24D0)
  115     ("CIRCLED LATIN SMALL LETTER B" #x24D1)
  116     ("CIRCLED LATIN SMALL LETTER C" #x24D2)
  117     ("CIRCLED LATIN SMALL LETTER D" #x24D3)
  118     ("CIRCLED LATIN SMALL LETTER E" #x24D4)
  119     ("CIRCLED LATIN SMALL LETTER F" #x24D5)
  120     ("CIRCLED LATIN SMALL LETTER G" #x24D6)
  121     ("CIRCLED LATIN SMALL LETTER H" #x24D7)
  122     ("CIRCLED LATIN SMALL LETTER I" #x24D8)
  123     ("CIRCLED LATIN SMALL LETTER J" #x24D9)
  124     ("CIRCLED LATIN SMALL LETTER K" #x24DA)
  125     ("CIRCLED LATIN SMALL LETTER L" #x24DB)
  126     ("CIRCLED LATIN SMALL LETTER M" #x24DC)
  127     ("CIRCLED LATIN SMALL LETTER N" #x24DD)
  128     ("CIRCLED LATIN SMALL LETTER O" #x24DE)
  129     ("CIRCLED LATIN SMALL LETTER P" #x24DF)
  130     ("CIRCLED LATIN SMALL LETTER Q" #x24E0)
  131     ("CIRCLED LATIN SMALL LETTER R" #x24E1)
  132     ("CIRCLED LATIN SMALL LETTER S" #x24E2)
  133     ("CIRCLED LATIN SMALL LETTER T" #x24E3)
  134     ("CIRCLED LATIN SMALL LETTER U" #x24E4)
  135     ("CIRCLED LATIN SMALL LETTER V" #x24E5)
  136     ("CIRCLED LATIN SMALL LETTER W" #x24E6)
  137     ("CIRCLED LATIN SMALL LETTER X" #x24E7)
  138     ("CIRCLED LATIN SMALL LETTER Y" #x24E8)
  139     ("CIRCLED LATIN SMALL LETTER Z" #x24E9)
  140     ("CIRCLED DIGIT ZERO" #x24EA)
  141     ("NEGATIVE CIRCLED NUMBER ELEVEN" #x24EB)
  142     ("NEGATIVE CIRCLED NUMBER TWELVE" #x24EC)
  143     ("NEGATIVE CIRCLED NUMBER THIRTEEN" #x24ED)
  144     ("NEGATIVE CIRCLED NUMBER FOURTEEN" #x24EE)
  145     ("NEGATIVE CIRCLED NUMBER FIFTEEN" #x24EF)
  146     ("NEGATIVE CIRCLED NUMBER SIXTEEN" #x24F0)
  147     ("NEGATIVE CIRCLED NUMBER SEVENTEEN" #x24F1)
  148     ("NEGATIVE CIRCLED NUMBER EIGHTEEN" #x24F2)
  149     ("NEGATIVE CIRCLED NUMBER NINETEEN" #x24F3)
  150     ("NEGATIVE CIRCLED NUMBER TWENTY" #x24F4)
  151     ("DOUBLE CIRCLED DIGIT ONE" #x24F5)
  152     ("DOUBLE CIRCLED DIGIT TWO" #x24F6)
  153     ("DOUBLE CIRCLED DIGIT THREE" #x24F7)
  154     ("DOUBLE CIRCLED DIGIT FOUR" #x24F8)
  155     ("DOUBLE CIRCLED DIGIT FIVE" #x24F9)
  156     ("DOUBLE CIRCLED DIGIT SIX" #x24FA)
  157     ("DOUBLE CIRCLED DIGIT SEVEN" #x24FB)
  158     ("DOUBLE CIRCLED DIGIT EIGHT" #x24FC)
  159     ("DOUBLE CIRCLED DIGIT NINE" #x24FD)
  160     ("DOUBLE CIRCLED NUMBER TEN" #x24FE)
  161     ))
  162