buildframework/helium/external/python/lib/2.5/docutils-0.5-py2.5.egg/docutils/parsers/rst/include/isoamsb.txt
changeset 179 d8ac696cc51f
parent 1 be27ed110b50
child 180 e02a83d4c571
child 592 3215c239276a
equal deleted inserted replaced
1:be27ed110b50 179:d8ac696cc51f
     1 .. This data file has been placed in the public domain.
       
     2 .. Derived from the Unicode character mappings available from
       
     3    <http://www.w3.org/2003/entities/xml/>.
       
     4    Processed by unicode2rstsubs.py, part of Docutils:
       
     5    <http://docutils.sourceforge.net>.
       
     6 
       
     7 .. |ac|       unicode:: U+0223E .. INVERTED LAZY S
       
     8 .. |acE|      unicode:: U+0223E U+00333 .. INVERTED LAZY S with double underline
       
     9 .. |amalg|    unicode:: U+02A3F .. AMALGAMATION OR COPRODUCT
       
    10 .. |barvee|   unicode:: U+022BD .. NOR
       
    11 .. |Barwed|   unicode:: U+02306 .. PERSPECTIVE
       
    12 .. |barwed|   unicode:: U+02305 .. PROJECTIVE
       
    13 .. |bsolb|    unicode:: U+029C5 .. SQUARED FALLING DIAGONAL SLASH
       
    14 .. |Cap|      unicode:: U+022D2 .. DOUBLE INTERSECTION
       
    15 .. |capand|   unicode:: U+02A44 .. INTERSECTION WITH LOGICAL AND
       
    16 .. |capbrcup| unicode:: U+02A49 .. INTERSECTION ABOVE BAR ABOVE UNION
       
    17 .. |capcap|   unicode:: U+02A4B .. INTERSECTION BESIDE AND JOINED WITH INTERSECTION
       
    18 .. |capcup|   unicode:: U+02A47 .. INTERSECTION ABOVE UNION
       
    19 .. |capdot|   unicode:: U+02A40 .. INTERSECTION WITH DOT
       
    20 .. |caps|     unicode:: U+02229 U+0FE00 .. INTERSECTION with serifs
       
    21 .. |ccaps|    unicode:: U+02A4D .. CLOSED INTERSECTION WITH SERIFS
       
    22 .. |ccups|    unicode:: U+02A4C .. CLOSED UNION WITH SERIFS
       
    23 .. |ccupssm|  unicode:: U+02A50 .. CLOSED UNION WITH SERIFS AND SMASH PRODUCT
       
    24 .. |coprod|   unicode:: U+02210 .. N-ARY COPRODUCT
       
    25 .. |Cup|      unicode:: U+022D3 .. DOUBLE UNION
       
    26 .. |cupbrcap| unicode:: U+02A48 .. UNION ABOVE BAR ABOVE INTERSECTION
       
    27 .. |cupcap|   unicode:: U+02A46 .. UNION ABOVE INTERSECTION
       
    28 .. |cupcup|   unicode:: U+02A4A .. UNION BESIDE AND JOINED WITH UNION
       
    29 .. |cupdot|   unicode:: U+0228D .. MULTISET MULTIPLICATION
       
    30 .. |cupor|    unicode:: U+02A45 .. UNION WITH LOGICAL OR
       
    31 .. |cups|     unicode:: U+0222A U+0FE00 .. UNION with serifs
       
    32 .. |cuvee|    unicode:: U+022CE .. CURLY LOGICAL OR
       
    33 .. |cuwed|    unicode:: U+022CF .. CURLY LOGICAL AND
       
    34 .. |Dagger|   unicode:: U+02021 .. DOUBLE DAGGER
       
    35 .. |dagger|   unicode:: U+02020 .. DAGGER
       
    36 .. |diam|     unicode:: U+022C4 .. DIAMOND OPERATOR
       
    37 .. |divonx|   unicode:: U+022C7 .. DIVISION TIMES
       
    38 .. |eplus|    unicode:: U+02A71 .. EQUALS SIGN ABOVE PLUS SIGN
       
    39 .. |hercon|   unicode:: U+022B9 .. HERMITIAN CONJUGATE MATRIX
       
    40 .. |intcal|   unicode:: U+022BA .. INTERCALATE
       
    41 .. |iprod|    unicode:: U+02A3C .. INTERIOR PRODUCT
       
    42 .. |loplus|   unicode:: U+02A2D .. PLUS SIGN IN LEFT HALF CIRCLE
       
    43 .. |lotimes|  unicode:: U+02A34 .. MULTIPLICATION SIGN IN LEFT HALF CIRCLE
       
    44 .. |lthree|   unicode:: U+022CB .. LEFT SEMIDIRECT PRODUCT
       
    45 .. |ltimes|   unicode:: U+022C9 .. LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
       
    46 .. |midast|   unicode:: U+0002A .. ASTERISK
       
    47 .. |minusb|   unicode:: U+0229F .. SQUARED MINUS
       
    48 .. |minusd|   unicode:: U+02238 .. DOT MINUS
       
    49 .. |minusdu|  unicode:: U+02A2A .. MINUS SIGN WITH DOT BELOW
       
    50 .. |ncap|     unicode:: U+02A43 .. INTERSECTION WITH OVERBAR
       
    51 .. |ncup|     unicode:: U+02A42 .. UNION WITH OVERBAR
       
    52 .. |oast|     unicode:: U+0229B .. CIRCLED ASTERISK OPERATOR
       
    53 .. |ocir|     unicode:: U+0229A .. CIRCLED RING OPERATOR
       
    54 .. |odash|    unicode:: U+0229D .. CIRCLED DASH
       
    55 .. |odiv|     unicode:: U+02A38 .. CIRCLED DIVISION SIGN
       
    56 .. |odot|     unicode:: U+02299 .. CIRCLED DOT OPERATOR
       
    57 .. |odsold|   unicode:: U+029BC .. CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN
       
    58 .. |ofcir|    unicode:: U+029BF .. CIRCLED BULLET
       
    59 .. |ogt|      unicode:: U+029C1 .. CIRCLED GREATER-THAN
       
    60 .. |ohbar|    unicode:: U+029B5 .. CIRCLE WITH HORIZONTAL BAR
       
    61 .. |olcir|    unicode:: U+029BE .. CIRCLED WHITE BULLET
       
    62 .. |olt|      unicode:: U+029C0 .. CIRCLED LESS-THAN
       
    63 .. |omid|     unicode:: U+029B6 .. CIRCLED VERTICAL BAR
       
    64 .. |ominus|   unicode:: U+02296 .. CIRCLED MINUS
       
    65 .. |opar|     unicode:: U+029B7 .. CIRCLED PARALLEL
       
    66 .. |operp|    unicode:: U+029B9 .. CIRCLED PERPENDICULAR
       
    67 .. |oplus|    unicode:: U+02295 .. CIRCLED PLUS
       
    68 .. |osol|     unicode:: U+02298 .. CIRCLED DIVISION SLASH
       
    69 .. |Otimes|   unicode:: U+02A37 .. MULTIPLICATION SIGN IN DOUBLE CIRCLE
       
    70 .. |otimes|   unicode:: U+02297 .. CIRCLED TIMES
       
    71 .. |otimesas| unicode:: U+02A36 .. CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
       
    72 .. |ovbar|    unicode:: U+0233D .. APL FUNCTIONAL SYMBOL CIRCLE STILE
       
    73 .. |plusacir| unicode:: U+02A23 .. PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
       
    74 .. |plusb|    unicode:: U+0229E .. SQUARED PLUS
       
    75 .. |pluscir|  unicode:: U+02A22 .. PLUS SIGN WITH SMALL CIRCLE ABOVE
       
    76 .. |plusdo|   unicode:: U+02214 .. DOT PLUS
       
    77 .. |plusdu|   unicode:: U+02A25 .. PLUS SIGN WITH DOT BELOW
       
    78 .. |pluse|    unicode:: U+02A72 .. PLUS SIGN ABOVE EQUALS SIGN
       
    79 .. |plussim|  unicode:: U+02A26 .. PLUS SIGN WITH TILDE BELOW
       
    80 .. |plustwo|  unicode:: U+02A27 .. PLUS SIGN WITH SUBSCRIPT TWO
       
    81 .. |prod|     unicode:: U+0220F .. N-ARY PRODUCT
       
    82 .. |race|     unicode:: U+029DA .. LEFT DOUBLE WIGGLY FENCE
       
    83 .. |roplus|   unicode:: U+02A2E .. PLUS SIGN IN RIGHT HALF CIRCLE
       
    84 .. |rotimes|  unicode:: U+02A35 .. MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
       
    85 .. |rthree|   unicode:: U+022CC .. RIGHT SEMIDIRECT PRODUCT
       
    86 .. |rtimes|   unicode:: U+022CA .. RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
       
    87 .. |sdot|     unicode:: U+022C5 .. DOT OPERATOR
       
    88 .. |sdotb|    unicode:: U+022A1 .. SQUARED DOT OPERATOR
       
    89 .. |setmn|    unicode:: U+02216 .. SET MINUS
       
    90 .. |simplus|  unicode:: U+02A24 .. PLUS SIGN WITH TILDE ABOVE
       
    91 .. |smashp|   unicode:: U+02A33 .. SMASH PRODUCT
       
    92 .. |solb|     unicode:: U+029C4 .. SQUARED RISING DIAGONAL SLASH
       
    93 .. |sqcap|    unicode:: U+02293 .. SQUARE CAP
       
    94 .. |sqcaps|   unicode:: U+02293 U+0FE00 .. SQUARE CAP with serifs
       
    95 .. |sqcup|    unicode:: U+02294 .. SQUARE CUP
       
    96 .. |sqcups|   unicode:: U+02294 U+0FE00 .. SQUARE CUP with serifs
       
    97 .. |ssetmn|   unicode:: U+02216 .. SET MINUS
       
    98 .. |sstarf|   unicode:: U+022C6 .. STAR OPERATOR
       
    99 .. |subdot|   unicode:: U+02ABD .. SUBSET WITH DOT
       
   100 .. |sum|      unicode:: U+02211 .. N-ARY SUMMATION
       
   101 .. |supdot|   unicode:: U+02ABE .. SUPERSET WITH DOT
       
   102 .. |timesb|   unicode:: U+022A0 .. SQUARED TIMES
       
   103 .. |timesbar| unicode:: U+02A31 .. MULTIPLICATION SIGN WITH UNDERBAR
       
   104 .. |timesd|   unicode:: U+02A30 .. MULTIPLICATION SIGN WITH DOT ABOVE
       
   105 .. |top|      unicode:: U+022A4 .. DOWN TACK
       
   106 .. |tridot|   unicode:: U+025EC .. WHITE UP-POINTING TRIANGLE WITH DOT
       
   107 .. |triminus| unicode:: U+02A3A .. MINUS SIGN IN TRIANGLE
       
   108 .. |triplus|  unicode:: U+02A39 .. PLUS SIGN IN TRIANGLE
       
   109 .. |trisb|    unicode:: U+029CD .. TRIANGLE WITH SERIFS AT BOTTOM
       
   110 .. |tritime|  unicode:: U+02A3B .. MULTIPLICATION SIGN IN TRIANGLE
       
   111 .. |uplus|    unicode:: U+0228E .. MULTISET UNION
       
   112 .. |veebar|   unicode:: U+022BB .. XOR
       
   113 .. |wedbar|   unicode:: U+02A5F .. LOGICAL AND WITH UNDERBAR
       
   114 .. |wreath|   unicode:: U+02240 .. WREATH PRODUCT
       
   115 .. |xcap|     unicode:: U+022C2 .. N-ARY INTERSECTION
       
   116 .. |xcirc|    unicode:: U+025EF .. LARGE CIRCLE
       
   117 .. |xcup|     unicode:: U+022C3 .. N-ARY UNION
       
   118 .. |xdtri|    unicode:: U+025BD .. WHITE DOWN-POINTING TRIANGLE
       
   119 .. |xodot|    unicode:: U+02A00 .. N-ARY CIRCLED DOT OPERATOR
       
   120 .. |xoplus|   unicode:: U+02A01 .. N-ARY CIRCLED PLUS OPERATOR
       
   121 .. |xotime|   unicode:: U+02A02 .. N-ARY CIRCLED TIMES OPERATOR
       
   122 .. |xsqcup|   unicode:: U+02A06 .. N-ARY SQUARE UNION OPERATOR
       
   123 .. |xuplus|   unicode:: U+02A04 .. N-ARY UNION OPERATOR WITH PLUS
       
   124 .. |xutri|    unicode:: U+025B3 .. WHITE UP-POINTING TRIANGLE
       
   125 .. |xvee|     unicode:: U+022C1 .. N-ARY LOGICAL OR
       
   126 .. |xwedge|   unicode:: U+022C0 .. N-ARY LOGICAL AND