buildframework/helium/external/python/lib/common/docutils-0.5-py2.5.egg/docutils/parsers/rst/include/mmlalias.txt
changeset 179 d8ac696cc51f
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 .. |angle|                           unicode:: U+02220 .. ANGLE
       
     8 .. |ApplyFunction|                   unicode:: U+02061 .. FUNCTION APPLICATION
       
     9 .. |approx|                          unicode:: U+02248 .. ALMOST EQUAL TO
       
    10 .. |approxeq|                        unicode:: U+0224A .. ALMOST EQUAL OR EQUAL TO
       
    11 .. |Assign|                          unicode:: U+02254 .. COLON EQUALS
       
    12 .. |backcong|                        unicode:: U+0224C .. ALL EQUAL TO
       
    13 .. |backepsilon|                     unicode:: U+003F6 .. GREEK REVERSED LUNATE EPSILON SYMBOL
       
    14 .. |backprime|                       unicode:: U+02035 .. REVERSED PRIME
       
    15 .. |backsim|                         unicode:: U+0223D .. REVERSED TILDE
       
    16 .. |backsimeq|                       unicode:: U+022CD .. REVERSED TILDE EQUALS
       
    17 .. |Backslash|                       unicode:: U+02216 .. SET MINUS
       
    18 .. |barwedge|                        unicode:: U+02305 .. PROJECTIVE
       
    19 .. |Because|                         unicode:: U+02235 .. BECAUSE
       
    20 .. |because|                         unicode:: U+02235 .. BECAUSE
       
    21 .. |Bernoullis|                      unicode:: U+0212C .. SCRIPT CAPITAL B
       
    22 .. |between|                         unicode:: U+0226C .. BETWEEN
       
    23 .. |bigcap|                          unicode:: U+022C2 .. N-ARY INTERSECTION
       
    24 .. |bigcirc|                         unicode:: U+025EF .. LARGE CIRCLE
       
    25 .. |bigcup|                          unicode:: U+022C3 .. N-ARY UNION
       
    26 .. |bigodot|                         unicode:: U+02A00 .. N-ARY CIRCLED DOT OPERATOR
       
    27 .. |bigoplus|                        unicode:: U+02A01 .. N-ARY CIRCLED PLUS OPERATOR
       
    28 .. |bigotimes|                       unicode:: U+02A02 .. N-ARY CIRCLED TIMES OPERATOR
       
    29 .. |bigsqcup|                        unicode:: U+02A06 .. N-ARY SQUARE UNION OPERATOR
       
    30 .. |bigstar|                         unicode:: U+02605 .. BLACK STAR
       
    31 .. |bigtriangledown|                 unicode:: U+025BD .. WHITE DOWN-POINTING TRIANGLE
       
    32 .. |bigtriangleup|                   unicode:: U+025B3 .. WHITE UP-POINTING TRIANGLE
       
    33 .. |biguplus|                        unicode:: U+02A04 .. N-ARY UNION OPERATOR WITH PLUS
       
    34 .. |bigvee|                          unicode:: U+022C1 .. N-ARY LOGICAL OR
       
    35 .. |bigwedge|                        unicode:: U+022C0 .. N-ARY LOGICAL AND
       
    36 .. |bkarow|                          unicode:: U+0290D .. RIGHTWARDS DOUBLE DASH ARROW
       
    37 .. |blacklozenge|                    unicode:: U+029EB .. BLACK LOZENGE
       
    38 .. |blacksquare|                     unicode:: U+025AA .. BLACK SMALL SQUARE
       
    39 .. |blacktriangle|                   unicode:: U+025B4 .. BLACK UP-POINTING SMALL TRIANGLE
       
    40 .. |blacktriangledown|               unicode:: U+025BE .. BLACK DOWN-POINTING SMALL TRIANGLE
       
    41 .. |blacktriangleleft|               unicode:: U+025C2 .. BLACK LEFT-POINTING SMALL TRIANGLE
       
    42 .. |blacktriangleright|              unicode:: U+025B8 .. BLACK RIGHT-POINTING SMALL TRIANGLE
       
    43 .. |bot|                             unicode:: U+022A5 .. UP TACK
       
    44 .. |boxminus|                        unicode:: U+0229F .. SQUARED MINUS
       
    45 .. |boxplus|                         unicode:: U+0229E .. SQUARED PLUS
       
    46 .. |boxtimes|                        unicode:: U+022A0 .. SQUARED TIMES
       
    47 .. |Breve|                           unicode:: U+002D8 .. BREVE
       
    48 .. |bullet|                          unicode:: U+02022 .. BULLET
       
    49 .. |Bumpeq|                          unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
       
    50 .. |bumpeq|                          unicode:: U+0224F .. DIFFERENCE BETWEEN
       
    51 .. |CapitalDifferentialD|            unicode:: U+02145 .. DOUBLE-STRUCK ITALIC CAPITAL D
       
    52 .. |Cayleys|                         unicode:: U+0212D .. BLACK-LETTER CAPITAL C
       
    53 .. |Cedilla|                         unicode:: U+000B8 .. CEDILLA
       
    54 .. |CenterDot|                       unicode:: U+000B7 .. MIDDLE DOT
       
    55 .. |centerdot|                       unicode:: U+000B7 .. MIDDLE DOT
       
    56 .. |checkmark|                       unicode:: U+02713 .. CHECK MARK
       
    57 .. |circeq|                          unicode:: U+02257 .. RING EQUAL TO
       
    58 .. |circlearrowleft|                 unicode:: U+021BA .. ANTICLOCKWISE OPEN CIRCLE ARROW
       
    59 .. |circlearrowright|                unicode:: U+021BB .. CLOCKWISE OPEN CIRCLE ARROW
       
    60 .. |circledast|                      unicode:: U+0229B .. CIRCLED ASTERISK OPERATOR
       
    61 .. |circledcirc|                     unicode:: U+0229A .. CIRCLED RING OPERATOR
       
    62 .. |circleddash|                     unicode:: U+0229D .. CIRCLED DASH
       
    63 .. |CircleDot|                       unicode:: U+02299 .. CIRCLED DOT OPERATOR
       
    64 .. |circledR|                        unicode:: U+000AE .. REGISTERED SIGN
       
    65 .. |circledS|                        unicode:: U+024C8 .. CIRCLED LATIN CAPITAL LETTER S
       
    66 .. |CircleMinus|                     unicode:: U+02296 .. CIRCLED MINUS
       
    67 .. |CirclePlus|                      unicode:: U+02295 .. CIRCLED PLUS
       
    68 .. |CircleTimes|                     unicode:: U+02297 .. CIRCLED TIMES
       
    69 .. |ClockwiseContourIntegral|        unicode:: U+02232 .. CLOCKWISE CONTOUR INTEGRAL
       
    70 .. |CloseCurlyDoubleQuote|           unicode:: U+0201D .. RIGHT DOUBLE QUOTATION MARK
       
    71 .. |CloseCurlyQuote|                 unicode:: U+02019 .. RIGHT SINGLE QUOTATION MARK
       
    72 .. |clubsuit|                        unicode:: U+02663 .. BLACK CLUB SUIT
       
    73 .. |coloneq|                         unicode:: U+02254 .. COLON EQUALS
       
    74 .. |complement|                      unicode:: U+02201 .. COMPLEMENT
       
    75 .. |complexes|                       unicode:: U+02102 .. DOUBLE-STRUCK CAPITAL C
       
    76 .. |Congruent|                       unicode:: U+02261 .. IDENTICAL TO
       
    77 .. |ContourIntegral|                 unicode:: U+0222E .. CONTOUR INTEGRAL
       
    78 .. |Coproduct|                       unicode:: U+02210 .. N-ARY COPRODUCT
       
    79 .. |CounterClockwiseContourIntegral| unicode:: U+02233 .. ANTICLOCKWISE CONTOUR INTEGRAL
       
    80 .. |CupCap|                          unicode:: U+0224D .. EQUIVALENT TO
       
    81 .. |curlyeqprec|                     unicode:: U+022DE .. EQUAL TO OR PRECEDES
       
    82 .. |curlyeqsucc|                     unicode:: U+022DF .. EQUAL TO OR SUCCEEDS
       
    83 .. |curlyvee|                        unicode:: U+022CE .. CURLY LOGICAL OR
       
    84 .. |curlywedge|                      unicode:: U+022CF .. CURLY LOGICAL AND
       
    85 .. |curvearrowleft|                  unicode:: U+021B6 .. ANTICLOCKWISE TOP SEMICIRCLE ARROW
       
    86 .. |curvearrowright|                 unicode:: U+021B7 .. CLOCKWISE TOP SEMICIRCLE ARROW
       
    87 .. |dbkarow|                         unicode:: U+0290F .. RIGHTWARDS TRIPLE DASH ARROW
       
    88 .. |ddagger|                         unicode:: U+02021 .. DOUBLE DAGGER
       
    89 .. |ddotseq|                         unicode:: U+02A77 .. EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
       
    90 .. |Del|                             unicode:: U+02207 .. NABLA
       
    91 .. |DiacriticalAcute|                unicode:: U+000B4 .. ACUTE ACCENT
       
    92 .. |DiacriticalDot|                  unicode:: U+002D9 .. DOT ABOVE
       
    93 .. |DiacriticalDoubleAcute|          unicode:: U+002DD .. DOUBLE ACUTE ACCENT
       
    94 .. |DiacriticalGrave|                unicode:: U+00060 .. GRAVE ACCENT
       
    95 .. |DiacriticalTilde|                unicode:: U+002DC .. SMALL TILDE
       
    96 .. |Diamond|                         unicode:: U+022C4 .. DIAMOND OPERATOR
       
    97 .. |diamond|                         unicode:: U+022C4 .. DIAMOND OPERATOR
       
    98 .. |diamondsuit|                     unicode:: U+02666 .. BLACK DIAMOND SUIT
       
    99 .. |DifferentialD|                   unicode:: U+02146 .. DOUBLE-STRUCK ITALIC SMALL D
       
   100 .. |digamma|                         unicode:: U+003DD .. GREEK SMALL LETTER DIGAMMA
       
   101 .. |div|                             unicode:: U+000F7 .. DIVISION SIGN
       
   102 .. |divideontimes|                   unicode:: U+022C7 .. DIVISION TIMES
       
   103 .. |doteq|                           unicode:: U+02250 .. APPROACHES THE LIMIT
       
   104 .. |doteqdot|                        unicode:: U+02251 .. GEOMETRICALLY EQUAL TO
       
   105 .. |DotEqual|                        unicode:: U+02250 .. APPROACHES THE LIMIT
       
   106 .. |dotminus|                        unicode:: U+02238 .. DOT MINUS
       
   107 .. |dotplus|                         unicode:: U+02214 .. DOT PLUS
       
   108 .. |dotsquare|                       unicode:: U+022A1 .. SQUARED DOT OPERATOR
       
   109 .. |doublebarwedge|                  unicode:: U+02306 .. PERSPECTIVE
       
   110 .. |DoubleContourIntegral|           unicode:: U+0222F .. SURFACE INTEGRAL
       
   111 .. |DoubleDot|                       unicode:: U+000A8 .. DIAERESIS
       
   112 .. |DoubleDownArrow|                 unicode:: U+021D3 .. DOWNWARDS DOUBLE ARROW
       
   113 .. |DoubleLeftArrow|                 unicode:: U+021D0 .. LEFTWARDS DOUBLE ARROW
       
   114 .. |DoubleLeftRightArrow|            unicode:: U+021D4 .. LEFT RIGHT DOUBLE ARROW
       
   115 .. |DoubleLeftTee|                   unicode:: U+02AE4 .. VERTICAL BAR DOUBLE LEFT TURNSTILE
       
   116 .. |DoubleLongLeftArrow|             unicode:: U+027F8 .. LONG LEFTWARDS DOUBLE ARROW
       
   117 .. |DoubleLongLeftRightArrow|        unicode:: U+027FA .. LONG LEFT RIGHT DOUBLE ARROW
       
   118 .. |DoubleLongRightArrow|            unicode:: U+027F9 .. LONG RIGHTWARDS DOUBLE ARROW
       
   119 .. |DoubleRightArrow|                unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
       
   120 .. |DoubleRightTee|                  unicode:: U+022A8 .. TRUE
       
   121 .. |DoubleUpArrow|                   unicode:: U+021D1 .. UPWARDS DOUBLE ARROW
       
   122 .. |DoubleUpDownArrow|               unicode:: U+021D5 .. UP DOWN DOUBLE ARROW
       
   123 .. |DoubleVerticalBar|               unicode:: U+02225 .. PARALLEL TO
       
   124 .. |DownArrow|                       unicode:: U+02193 .. DOWNWARDS ARROW
       
   125 .. |Downarrow|                       unicode:: U+021D3 .. DOWNWARDS DOUBLE ARROW
       
   126 .. |downarrow|                       unicode:: U+02193 .. DOWNWARDS ARROW
       
   127 .. |DownArrowUpArrow|                unicode:: U+021F5 .. DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
       
   128 .. |downdownarrows|                  unicode:: U+021CA .. DOWNWARDS PAIRED ARROWS
       
   129 .. |downharpoonleft|                 unicode:: U+021C3 .. DOWNWARDS HARPOON WITH BARB LEFTWARDS
       
   130 .. |downharpoonright|                unicode:: U+021C2 .. DOWNWARDS HARPOON WITH BARB RIGHTWARDS
       
   131 .. |DownLeftVector|                  unicode:: U+021BD .. LEFTWARDS HARPOON WITH BARB DOWNWARDS
       
   132 .. |DownRightVector|                 unicode:: U+021C1 .. RIGHTWARDS HARPOON WITH BARB DOWNWARDS
       
   133 .. |DownTee|                         unicode:: U+022A4 .. DOWN TACK
       
   134 .. |DownTeeArrow|                    unicode:: U+021A7 .. DOWNWARDS ARROW FROM BAR
       
   135 .. |drbkarow|                        unicode:: U+02910 .. RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW
       
   136 .. |Element|                         unicode:: U+02208 .. ELEMENT OF
       
   137 .. |emptyset|                        unicode:: U+02205 .. EMPTY SET
       
   138 .. |eqcirc|                          unicode:: U+02256 .. RING IN EQUAL TO
       
   139 .. |eqcolon|                         unicode:: U+02255 .. EQUALS COLON
       
   140 .. |eqsim|                           unicode:: U+02242 .. MINUS TILDE
       
   141 .. |eqslantgtr|                      unicode:: U+02A96 .. SLANTED EQUAL TO OR GREATER-THAN
       
   142 .. |eqslantless|                     unicode:: U+02A95 .. SLANTED EQUAL TO OR LESS-THAN
       
   143 .. |EqualTilde|                      unicode:: U+02242 .. MINUS TILDE
       
   144 .. |Equilibrium|                     unicode:: U+021CC .. RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
       
   145 .. |Exists|                          unicode:: U+02203 .. THERE EXISTS
       
   146 .. |expectation|                     unicode:: U+02130 .. SCRIPT CAPITAL E
       
   147 .. |ExponentialE|                    unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
       
   148 .. |exponentiale|                    unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
       
   149 .. |fallingdotseq|                   unicode:: U+02252 .. APPROXIMATELY EQUAL TO OR THE IMAGE OF
       
   150 .. |ForAll|                          unicode:: U+02200 .. FOR ALL
       
   151 .. |Fouriertrf|                      unicode:: U+02131 .. SCRIPT CAPITAL F
       
   152 .. |geq|                             unicode:: U+02265 .. GREATER-THAN OR EQUAL TO
       
   153 .. |geqq|                            unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
       
   154 .. |geqslant|                        unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
       
   155 .. |gg|                              unicode:: U+0226B .. MUCH GREATER-THAN
       
   156 .. |ggg|                             unicode:: U+022D9 .. VERY MUCH GREATER-THAN
       
   157 .. |gnapprox|                        unicode:: U+02A8A .. GREATER-THAN AND NOT APPROXIMATE
       
   158 .. |gneq|                            unicode:: U+02A88 .. GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
       
   159 .. |gneqq|                           unicode:: U+02269 .. GREATER-THAN BUT NOT EQUAL TO
       
   160 .. |GreaterEqual|                    unicode:: U+02265 .. GREATER-THAN OR EQUAL TO
       
   161 .. |GreaterEqualLess|                unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
       
   162 .. |GreaterFullEqual|                unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
       
   163 .. |GreaterLess|                     unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
       
   164 .. |GreaterSlantEqual|               unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
       
   165 .. |GreaterTilde|                    unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
       
   166 .. |gtrapprox|                       unicode:: U+02A86 .. GREATER-THAN OR APPROXIMATE
       
   167 .. |gtrdot|                          unicode:: U+022D7 .. GREATER-THAN WITH DOT
       
   168 .. |gtreqless|                       unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
       
   169 .. |gtreqqless|                      unicode:: U+02A8C .. GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
       
   170 .. |gtrless|                         unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
       
   171 .. |gtrsim|                          unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
       
   172 .. |gvertneqq|                       unicode:: U+02269 U+0FE00 .. GREATER-THAN BUT NOT EQUAL TO - with vertical stroke
       
   173 .. |Hacek|                           unicode:: U+002C7 .. CARON
       
   174 .. |hbar|                            unicode:: U+0210F .. PLANCK CONSTANT OVER TWO PI
       
   175 .. |heartsuit|                       unicode:: U+02665 .. BLACK HEART SUIT
       
   176 .. |HilbertSpace|                    unicode:: U+0210B .. SCRIPT CAPITAL H
       
   177 .. |hksearow|                        unicode:: U+02925 .. SOUTH EAST ARROW WITH HOOK
       
   178 .. |hkswarow|                        unicode:: U+02926 .. SOUTH WEST ARROW WITH HOOK
       
   179 .. |hookleftarrow|                   unicode:: U+021A9 .. LEFTWARDS ARROW WITH HOOK
       
   180 .. |hookrightarrow|                  unicode:: U+021AA .. RIGHTWARDS ARROW WITH HOOK
       
   181 .. |hslash|                          unicode:: U+0210F .. PLANCK CONSTANT OVER TWO PI
       
   182 .. |HumpDownHump|                    unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
       
   183 .. |HumpEqual|                       unicode:: U+0224F .. DIFFERENCE BETWEEN
       
   184 .. |iiiint|                          unicode:: U+02A0C .. QUADRUPLE INTEGRAL OPERATOR
       
   185 .. |iiint|                           unicode:: U+0222D .. TRIPLE INTEGRAL
       
   186 .. |Im|                              unicode:: U+02111 .. BLACK-LETTER CAPITAL I
       
   187 .. |ImaginaryI|                      unicode:: U+02148 .. DOUBLE-STRUCK ITALIC SMALL I
       
   188 .. |imagline|                        unicode:: U+02110 .. SCRIPT CAPITAL I
       
   189 .. |imagpart|                        unicode:: U+02111 .. BLACK-LETTER CAPITAL I
       
   190 .. |Implies|                         unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
       
   191 .. |in|                              unicode:: U+02208 .. ELEMENT OF
       
   192 .. |integers|                        unicode:: U+02124 .. DOUBLE-STRUCK CAPITAL Z
       
   193 .. |Integral|                        unicode:: U+0222B .. INTEGRAL
       
   194 .. |intercal|                        unicode:: U+022BA .. INTERCALATE
       
   195 .. |Intersection|                    unicode:: U+022C2 .. N-ARY INTERSECTION
       
   196 .. |intprod|                         unicode:: U+02A3C .. INTERIOR PRODUCT
       
   197 .. |InvisibleComma|                  unicode:: U+02063 .. INVISIBLE SEPARATOR
       
   198 .. |InvisibleTimes|                  unicode:: U+02062 .. INVISIBLE TIMES
       
   199 .. |langle|                          unicode:: U+02329 .. LEFT-POINTING ANGLE BRACKET
       
   200 .. |Laplacetrf|                      unicode:: U+02112 .. SCRIPT CAPITAL L
       
   201 .. |lbrace|                          unicode:: U+0007B .. LEFT CURLY BRACKET
       
   202 .. |lbrack|                          unicode:: U+0005B .. LEFT SQUARE BRACKET
       
   203 .. |LeftAngleBracket|                unicode:: U+02329 .. LEFT-POINTING ANGLE BRACKET
       
   204 .. |LeftArrow|                       unicode:: U+02190 .. LEFTWARDS ARROW
       
   205 .. |Leftarrow|                       unicode:: U+021D0 .. LEFTWARDS DOUBLE ARROW
       
   206 .. |leftarrow|                       unicode:: U+02190 .. LEFTWARDS ARROW
       
   207 .. |LeftArrowBar|                    unicode:: U+021E4 .. LEFTWARDS ARROW TO BAR
       
   208 .. |LeftArrowRightArrow|             unicode:: U+021C6 .. LEFTWARDS ARROW OVER RIGHTWARDS ARROW
       
   209 .. |leftarrowtail|                   unicode:: U+021A2 .. LEFTWARDS ARROW WITH TAIL
       
   210 .. |LeftCeiling|                     unicode:: U+02308 .. LEFT CEILING
       
   211 .. |LeftDoubleBracket|               unicode:: U+0301A .. LEFT WHITE SQUARE BRACKET
       
   212 .. |LeftDownVector|                  unicode:: U+021C3 .. DOWNWARDS HARPOON WITH BARB LEFTWARDS
       
   213 .. |LeftFloor|                       unicode:: U+0230A .. LEFT FLOOR
       
   214 .. |leftharpoondown|                 unicode:: U+021BD .. LEFTWARDS HARPOON WITH BARB DOWNWARDS
       
   215 .. |leftharpoonup|                   unicode:: U+021BC .. LEFTWARDS HARPOON WITH BARB UPWARDS
       
   216 .. |leftleftarrows|                  unicode:: U+021C7 .. LEFTWARDS PAIRED ARROWS
       
   217 .. |LeftRightArrow|                  unicode:: U+02194 .. LEFT RIGHT ARROW
       
   218 .. |Leftrightarrow|                  unicode:: U+021D4 .. LEFT RIGHT DOUBLE ARROW
       
   219 .. |leftrightarrow|                  unicode:: U+02194 .. LEFT RIGHT ARROW
       
   220 .. |leftrightarrows|                 unicode:: U+021C6 .. LEFTWARDS ARROW OVER RIGHTWARDS ARROW
       
   221 .. |leftrightharpoons|               unicode:: U+021CB .. LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
       
   222 .. |leftrightsquigarrow|             unicode:: U+021AD .. LEFT RIGHT WAVE ARROW
       
   223 .. |LeftTee|                         unicode:: U+022A3 .. LEFT TACK
       
   224 .. |LeftTeeArrow|                    unicode:: U+021A4 .. LEFTWARDS ARROW FROM BAR
       
   225 .. |leftthreetimes|                  unicode:: U+022CB .. LEFT SEMIDIRECT PRODUCT
       
   226 .. |LeftTriangle|                    unicode:: U+022B2 .. NORMAL SUBGROUP OF
       
   227 .. |LeftTriangleEqual|               unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
       
   228 .. |LeftUpVector|                    unicode:: U+021BF .. UPWARDS HARPOON WITH BARB LEFTWARDS
       
   229 .. |LeftVector|                      unicode:: U+021BC .. LEFTWARDS HARPOON WITH BARB UPWARDS
       
   230 .. |leq|                             unicode:: U+02264 .. LESS-THAN OR EQUAL TO
       
   231 .. |leqq|                            unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
       
   232 .. |leqslant|                        unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
       
   233 .. |lessapprox|                      unicode:: U+02A85 .. LESS-THAN OR APPROXIMATE
       
   234 .. |lessdot|                         unicode:: U+022D6 .. LESS-THAN WITH DOT
       
   235 .. |lesseqgtr|                       unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
       
   236 .. |lesseqqgtr|                      unicode:: U+02A8B .. LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
       
   237 .. |LessEqualGreater|                unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
       
   238 .. |LessFullEqual|                   unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
       
   239 .. |LessGreater|                     unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
       
   240 .. |lessgtr|                         unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
       
   241 .. |lesssim|                         unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
       
   242 .. |LessSlantEqual|                  unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
       
   243 .. |LessTilde|                       unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
       
   244 .. |ll|                              unicode:: U+0226A .. MUCH LESS-THAN
       
   245 .. |llcorner|                        unicode:: U+0231E .. BOTTOM LEFT CORNER
       
   246 .. |Lleftarrow|                      unicode:: U+021DA .. LEFTWARDS TRIPLE ARROW
       
   247 .. |lmoustache|                      unicode:: U+023B0 .. UPPER LEFT OR LOWER RIGHT CURLY BRACKET SECTION
       
   248 .. |lnapprox|                        unicode:: U+02A89 .. LESS-THAN AND NOT APPROXIMATE
       
   249 .. |lneq|                            unicode:: U+02A87 .. LESS-THAN AND SINGLE-LINE NOT EQUAL TO
       
   250 .. |lneqq|                           unicode:: U+02268 .. LESS-THAN BUT NOT EQUAL TO
       
   251 .. |LongLeftArrow|                   unicode:: U+027F5 .. LONG LEFTWARDS ARROW
       
   252 .. |Longleftarrow|                   unicode:: U+027F8 .. LONG LEFTWARDS DOUBLE ARROW
       
   253 .. |longleftarrow|                   unicode:: U+027F5 .. LONG LEFTWARDS ARROW
       
   254 .. |LongLeftRightArrow|              unicode:: U+027F7 .. LONG LEFT RIGHT ARROW
       
   255 .. |Longleftrightarrow|              unicode:: U+027FA .. LONG LEFT RIGHT DOUBLE ARROW
       
   256 .. |longleftrightarrow|              unicode:: U+027F7 .. LONG LEFT RIGHT ARROW
       
   257 .. |longmapsto|                      unicode:: U+027FC .. LONG RIGHTWARDS ARROW FROM BAR
       
   258 .. |LongRightArrow|                  unicode:: U+027F6 .. LONG RIGHTWARDS ARROW
       
   259 .. |Longrightarrow|                  unicode:: U+027F9 .. LONG RIGHTWARDS DOUBLE ARROW
       
   260 .. |longrightarrow|                  unicode:: U+027F6 .. LONG RIGHTWARDS ARROW
       
   261 .. |looparrowleft|                   unicode:: U+021AB .. LEFTWARDS ARROW WITH LOOP
       
   262 .. |looparrowright|                  unicode:: U+021AC .. RIGHTWARDS ARROW WITH LOOP
       
   263 .. |LowerLeftArrow|                  unicode:: U+02199 .. SOUTH WEST ARROW
       
   264 .. |LowerRightArrow|                 unicode:: U+02198 .. SOUTH EAST ARROW
       
   265 .. |lozenge|                         unicode:: U+025CA .. LOZENGE
       
   266 .. |lrcorner|                        unicode:: U+0231F .. BOTTOM RIGHT CORNER
       
   267 .. |Lsh|                             unicode:: U+021B0 .. UPWARDS ARROW WITH TIP LEFTWARDS
       
   268 .. |lvertneqq|                       unicode:: U+02268 U+0FE00 .. LESS-THAN BUT NOT EQUAL TO - with vertical stroke
       
   269 .. |maltese|                         unicode:: U+02720 .. MALTESE CROSS
       
   270 .. |mapsto|                          unicode:: U+021A6 .. RIGHTWARDS ARROW FROM BAR
       
   271 .. |measuredangle|                   unicode:: U+02221 .. MEASURED ANGLE
       
   272 .. |Mellintrf|                       unicode:: U+02133 .. SCRIPT CAPITAL M
       
   273 .. |MinusPlus|                       unicode:: U+02213 .. MINUS-OR-PLUS SIGN
       
   274 .. |mp|                              unicode:: U+02213 .. MINUS-OR-PLUS SIGN
       
   275 .. |multimap|                        unicode:: U+022B8 .. MULTIMAP
       
   276 .. |napprox|                         unicode:: U+02249 .. NOT ALMOST EQUAL TO
       
   277 .. |natural|                         unicode:: U+0266E .. MUSIC NATURAL SIGN
       
   278 .. |naturals|                        unicode:: U+02115 .. DOUBLE-STRUCK CAPITAL N
       
   279 .. |nearrow|                         unicode:: U+02197 .. NORTH EAST ARROW
       
   280 .. |NegativeMediumSpace|             unicode:: U+0200B .. ZERO WIDTH SPACE
       
   281 .. |NegativeThickSpace|              unicode:: U+0200B .. ZERO WIDTH SPACE
       
   282 .. |NegativeThinSpace|               unicode:: U+0200B .. ZERO WIDTH SPACE
       
   283 .. |NegativeVeryThinSpace|           unicode:: U+0200B .. ZERO WIDTH SPACE
       
   284 .. |NestedGreaterGreater|            unicode:: U+0226B .. MUCH GREATER-THAN
       
   285 .. |NestedLessLess|                  unicode:: U+0226A .. MUCH LESS-THAN
       
   286 .. |nexists|                         unicode:: U+02204 .. THERE DOES NOT EXIST
       
   287 .. |ngeq|                            unicode:: U+02271 .. NEITHER GREATER-THAN NOR EQUAL TO
       
   288 .. |ngeqq|                           unicode:: U+02267 U+00338 .. GREATER-THAN OVER EQUAL TO with slash
       
   289 .. |ngeqslant|                       unicode:: U+02A7E U+00338 .. GREATER-THAN OR SLANTED EQUAL TO with slash
       
   290 .. |ngtr|                            unicode:: U+0226F .. NOT GREATER-THAN
       
   291 .. |nLeftarrow|                      unicode:: U+021CD .. LEFTWARDS DOUBLE ARROW WITH STROKE
       
   292 .. |nleftarrow|                      unicode:: U+0219A .. LEFTWARDS ARROW WITH STROKE
       
   293 .. |nLeftrightarrow|                 unicode:: U+021CE .. LEFT RIGHT DOUBLE ARROW WITH STROKE
       
   294 .. |nleftrightarrow|                 unicode:: U+021AE .. LEFT RIGHT ARROW WITH STROKE
       
   295 .. |nleq|                            unicode:: U+02270 .. NEITHER LESS-THAN NOR EQUAL TO
       
   296 .. |nleqq|                           unicode:: U+02266 U+00338 .. LESS-THAN OVER EQUAL TO with slash
       
   297 .. |nleqslant|                       unicode:: U+02A7D U+00338 .. LESS-THAN OR SLANTED EQUAL TO with slash
       
   298 .. |nless|                           unicode:: U+0226E .. NOT LESS-THAN
       
   299 .. |NonBreakingSpace|                unicode:: U+000A0 .. NO-BREAK SPACE
       
   300 .. |NotCongruent|                    unicode:: U+02262 .. NOT IDENTICAL TO
       
   301 .. |NotDoubleVerticalBar|            unicode:: U+02226 .. NOT PARALLEL TO
       
   302 .. |NotElement|                      unicode:: U+02209 .. NOT AN ELEMENT OF
       
   303 .. |NotEqual|                        unicode:: U+02260 .. NOT EQUAL TO
       
   304 .. |NotEqualTilde|                   unicode:: U+02242 U+00338 .. MINUS TILDE with slash
       
   305 .. |NotExists|                       unicode:: U+02204 .. THERE DOES NOT EXIST
       
   306 .. |NotGreater|                      unicode:: U+0226F .. NOT GREATER-THAN
       
   307 .. |NotGreaterEqual|                 unicode:: U+02271 .. NEITHER GREATER-THAN NOR EQUAL TO
       
   308 .. |NotGreaterFullEqual|             unicode:: U+02266 U+00338 .. LESS-THAN OVER EQUAL TO with slash
       
   309 .. |NotGreaterGreater|               unicode:: U+0226B U+00338 .. MUCH GREATER THAN with slash
       
   310 .. |NotGreaterLess|                  unicode:: U+02279 .. NEITHER GREATER-THAN NOR LESS-THAN
       
   311 .. |NotGreaterSlantEqual|            unicode:: U+02A7E U+00338 .. GREATER-THAN OR SLANTED EQUAL TO with slash
       
   312 .. |NotGreaterTilde|                 unicode:: U+02275 .. NEITHER GREATER-THAN NOR EQUIVALENT TO
       
   313 .. |NotHumpDownHump|                 unicode:: U+0224E U+00338 .. GEOMETRICALLY EQUIVALENT TO with slash
       
   314 .. |NotLeftTriangle|                 unicode:: U+022EA .. NOT NORMAL SUBGROUP OF
       
   315 .. |NotLeftTriangleEqual|            unicode:: U+022EC .. NOT NORMAL SUBGROUP OF OR EQUAL TO
       
   316 .. |NotLess|                         unicode:: U+0226E .. NOT LESS-THAN
       
   317 .. |NotLessEqual|                    unicode:: U+02270 .. NEITHER LESS-THAN NOR EQUAL TO
       
   318 .. |NotLessGreater|                  unicode:: U+02278 .. NEITHER LESS-THAN NOR GREATER-THAN
       
   319 .. |NotLessLess|                     unicode:: U+0226A U+00338 .. MUCH LESS THAN with slash
       
   320 .. |NotLessSlantEqual|               unicode:: U+02A7D U+00338 .. LESS-THAN OR SLANTED EQUAL TO with slash
       
   321 .. |NotLessTilde|                    unicode:: U+02274 .. NEITHER LESS-THAN NOR EQUIVALENT TO
       
   322 .. |NotPrecedes|                     unicode:: U+02280 .. DOES NOT PRECEDE
       
   323 .. |NotPrecedesEqual|                unicode:: U+02AAF U+00338 .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN with slash
       
   324 .. |NotPrecedesSlantEqual|           unicode:: U+022E0 .. DOES NOT PRECEDE OR EQUAL
       
   325 .. |NotReverseElement|               unicode:: U+0220C .. DOES NOT CONTAIN AS MEMBER
       
   326 .. |NotRightTriangle|                unicode:: U+022EB .. DOES NOT CONTAIN AS NORMAL SUBGROUP
       
   327 .. |NotRightTriangleEqual|           unicode:: U+022ED .. DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
       
   328 .. |NotSquareSubsetEqual|            unicode:: U+022E2 .. NOT SQUARE IMAGE OF OR EQUAL TO
       
   329 .. |NotSquareSupersetEqual|          unicode:: U+022E3 .. NOT SQUARE ORIGINAL OF OR EQUAL TO
       
   330 .. |NotSubset|                       unicode:: U+02282 U+020D2 .. SUBSET OF with vertical line
       
   331 .. |NotSubsetEqual|                  unicode:: U+02288 .. NEITHER A SUBSET OF NOR EQUAL TO
       
   332 .. |NotSucceeds|                     unicode:: U+02281 .. DOES NOT SUCCEED
       
   333 .. |NotSucceedsEqual|                unicode:: U+02AB0 U+00338 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN with slash
       
   334 .. |NotSucceedsSlantEqual|           unicode:: U+022E1 .. DOES NOT SUCCEED OR EQUAL
       
   335 .. |NotSuperset|                     unicode:: U+02283 U+020D2 .. SUPERSET OF with vertical line
       
   336 .. |NotSupersetEqual|                unicode:: U+02289 .. NEITHER A SUPERSET OF NOR EQUAL TO
       
   337 .. |NotTilde|                        unicode:: U+02241 .. NOT TILDE
       
   338 .. |NotTildeEqual|                   unicode:: U+02244 .. NOT ASYMPTOTICALLY EQUAL TO
       
   339 .. |NotTildeFullEqual|               unicode:: U+02247 .. NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
       
   340 .. |NotTildeTilde|                   unicode:: U+02249 .. NOT ALMOST EQUAL TO
       
   341 .. |NotVerticalBar|                  unicode:: U+02224 .. DOES NOT DIVIDE
       
   342 .. |nparallel|                       unicode:: U+02226 .. NOT PARALLEL TO
       
   343 .. |nprec|                           unicode:: U+02280 .. DOES NOT PRECEDE
       
   344 .. |npreceq|                         unicode:: U+02AAF U+00338 .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN with slash
       
   345 .. |nRightarrow|                     unicode:: U+021CF .. RIGHTWARDS DOUBLE ARROW WITH STROKE
       
   346 .. |nrightarrow|                     unicode:: U+0219B .. RIGHTWARDS ARROW WITH STROKE
       
   347 .. |nshortmid|                       unicode:: U+02224 .. DOES NOT DIVIDE
       
   348 .. |nshortparallel|                  unicode:: U+02226 .. NOT PARALLEL TO
       
   349 .. |nsimeq|                          unicode:: U+02244 .. NOT ASYMPTOTICALLY EQUAL TO
       
   350 .. |nsubset|                         unicode:: U+02282 U+020D2 .. SUBSET OF with vertical line
       
   351 .. |nsubseteq|                       unicode:: U+02288 .. NEITHER A SUBSET OF NOR EQUAL TO
       
   352 .. |nsubseteqq|                      unicode:: U+02AC5 U+00338 .. SUBSET OF ABOVE EQUALS SIGN with slash
       
   353 .. |nsucc|                           unicode:: U+02281 .. DOES NOT SUCCEED
       
   354 .. |nsucceq|                         unicode:: U+02AB0 U+00338 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN with slash
       
   355 .. |nsupset|                         unicode:: U+02283 U+020D2 .. SUPERSET OF with vertical line
       
   356 .. |nsupseteq|                       unicode:: U+02289 .. NEITHER A SUPERSET OF NOR EQUAL TO
       
   357 .. |nsupseteqq|                      unicode:: U+02AC6 U+00338 .. SUPERSET OF ABOVE EQUALS SIGN with slash
       
   358 .. |ntriangleleft|                   unicode:: U+022EA .. NOT NORMAL SUBGROUP OF
       
   359 .. |ntrianglelefteq|                 unicode:: U+022EC .. NOT NORMAL SUBGROUP OF OR EQUAL TO
       
   360 .. |ntriangleright|                  unicode:: U+022EB .. DOES NOT CONTAIN AS NORMAL SUBGROUP
       
   361 .. |ntrianglerighteq|                unicode:: U+022ED .. DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
       
   362 .. |nwarrow|                         unicode:: U+02196 .. NORTH WEST ARROW
       
   363 .. |oint|                            unicode:: U+0222E .. CONTOUR INTEGRAL
       
   364 .. |OpenCurlyDoubleQuote|            unicode:: U+0201C .. LEFT DOUBLE QUOTATION MARK
       
   365 .. |OpenCurlyQuote|                  unicode:: U+02018 .. LEFT SINGLE QUOTATION MARK
       
   366 .. |orderof|                         unicode:: U+02134 .. SCRIPT SMALL O
       
   367 .. |parallel|                        unicode:: U+02225 .. PARALLEL TO
       
   368 .. |PartialD|                        unicode:: U+02202 .. PARTIAL DIFFERENTIAL
       
   369 .. |pitchfork|                       unicode:: U+022D4 .. PITCHFORK
       
   370 .. |PlusMinus|                       unicode:: U+000B1 .. PLUS-MINUS SIGN
       
   371 .. |pm|                              unicode:: U+000B1 .. PLUS-MINUS SIGN
       
   372 .. |Poincareplane|                   unicode:: U+0210C .. BLACK-LETTER CAPITAL H
       
   373 .. |prec|                            unicode:: U+0227A .. PRECEDES
       
   374 .. |precapprox|                      unicode:: U+02AB7 .. PRECEDES ABOVE ALMOST EQUAL TO
       
   375 .. |preccurlyeq|                     unicode:: U+0227C .. PRECEDES OR EQUAL TO
       
   376 .. |Precedes|                        unicode:: U+0227A .. PRECEDES
       
   377 .. |PrecedesEqual|                   unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
       
   378 .. |PrecedesSlantEqual|              unicode:: U+0227C .. PRECEDES OR EQUAL TO
       
   379 .. |PrecedesTilde|                   unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
       
   380 .. |preceq|                          unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
       
   381 .. |precnapprox|                     unicode:: U+02AB9 .. PRECEDES ABOVE NOT ALMOST EQUAL TO
       
   382 .. |precneqq|                        unicode:: U+02AB5 .. PRECEDES ABOVE NOT EQUAL TO
       
   383 .. |precnsim|                        unicode:: U+022E8 .. PRECEDES BUT NOT EQUIVALENT TO
       
   384 .. |precsim|                         unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
       
   385 .. |primes|                          unicode:: U+02119 .. DOUBLE-STRUCK CAPITAL P
       
   386 .. |Proportion|                      unicode:: U+02237 .. PROPORTION
       
   387 .. |Proportional|                    unicode:: U+0221D .. PROPORTIONAL TO
       
   388 .. |propto|                          unicode:: U+0221D .. PROPORTIONAL TO
       
   389 .. |quaternions|                     unicode:: U+0210D .. DOUBLE-STRUCK CAPITAL H
       
   390 .. |questeq|                         unicode:: U+0225F .. QUESTIONED EQUAL TO
       
   391 .. |rangle|                          unicode:: U+0232A .. RIGHT-POINTING ANGLE BRACKET
       
   392 .. |rationals|                       unicode:: U+0211A .. DOUBLE-STRUCK CAPITAL Q
       
   393 .. |rbrace|                          unicode:: U+0007D .. RIGHT CURLY BRACKET
       
   394 .. |rbrack|                          unicode:: U+0005D .. RIGHT SQUARE BRACKET
       
   395 .. |Re|                              unicode:: U+0211C .. BLACK-LETTER CAPITAL R
       
   396 .. |realine|                         unicode:: U+0211B .. SCRIPT CAPITAL R
       
   397 .. |realpart|                        unicode:: U+0211C .. BLACK-LETTER CAPITAL R
       
   398 .. |reals|                           unicode:: U+0211D .. DOUBLE-STRUCK CAPITAL R
       
   399 .. |ReverseElement|                  unicode:: U+0220B .. CONTAINS AS MEMBER
       
   400 .. |ReverseEquilibrium|              unicode:: U+021CB .. LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
       
   401 .. |ReverseUpEquilibrium|            unicode:: U+0296F .. DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
       
   402 .. |RightAngleBracket|               unicode:: U+0232A .. RIGHT-POINTING ANGLE BRACKET
       
   403 .. |RightArrow|                      unicode:: U+02192 .. RIGHTWARDS ARROW
       
   404 .. |Rightarrow|                      unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
       
   405 .. |rightarrow|                      unicode:: U+02192 .. RIGHTWARDS ARROW
       
   406 .. |RightArrowBar|                   unicode:: U+021E5 .. RIGHTWARDS ARROW TO BAR
       
   407 .. |RightArrowLeftArrow|             unicode:: U+021C4 .. RIGHTWARDS ARROW OVER LEFTWARDS ARROW
       
   408 .. |rightarrowtail|                  unicode:: U+021A3 .. RIGHTWARDS ARROW WITH TAIL
       
   409 .. |RightCeiling|                    unicode:: U+02309 .. RIGHT CEILING
       
   410 .. |RightDoubleBracket|              unicode:: U+0301B .. RIGHT WHITE SQUARE BRACKET
       
   411 .. |RightDownVector|                 unicode:: U+021C2 .. DOWNWARDS HARPOON WITH BARB RIGHTWARDS
       
   412 .. |RightFloor|                      unicode:: U+0230B .. RIGHT FLOOR
       
   413 .. |rightharpoondown|                unicode:: U+021C1 .. RIGHTWARDS HARPOON WITH BARB DOWNWARDS
       
   414 .. |rightharpoonup|                  unicode:: U+021C0 .. RIGHTWARDS HARPOON WITH BARB UPWARDS
       
   415 .. |rightleftarrows|                 unicode:: U+021C4 .. RIGHTWARDS ARROW OVER LEFTWARDS ARROW
       
   416 .. |rightleftharpoons|               unicode:: U+021CC .. RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
       
   417 .. |rightrightarrows|                unicode:: U+021C9 .. RIGHTWARDS PAIRED ARROWS
       
   418 .. |rightsquigarrow|                 unicode:: U+0219D .. RIGHTWARDS WAVE ARROW
       
   419 .. |RightTee|                        unicode:: U+022A2 .. RIGHT TACK
       
   420 .. |RightTeeArrow|                   unicode:: U+021A6 .. RIGHTWARDS ARROW FROM BAR
       
   421 .. |rightthreetimes|                 unicode:: U+022CC .. RIGHT SEMIDIRECT PRODUCT
       
   422 .. |RightTriangle|                   unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
       
   423 .. |RightTriangleEqual|              unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
       
   424 .. |RightUpVector|                   unicode:: U+021BE .. UPWARDS HARPOON WITH BARB RIGHTWARDS
       
   425 .. |RightVector|                     unicode:: U+021C0 .. RIGHTWARDS HARPOON WITH BARB UPWARDS
       
   426 .. |risingdotseq|                    unicode:: U+02253 .. IMAGE OF OR APPROXIMATELY EQUAL TO
       
   427 .. |rmoustache|                      unicode:: U+023B1 .. UPPER RIGHT OR LOWER LEFT CURLY BRACKET SECTION
       
   428 .. |Rrightarrow|                     unicode:: U+021DB .. RIGHTWARDS TRIPLE ARROW
       
   429 .. |Rsh|                             unicode:: U+021B1 .. UPWARDS ARROW WITH TIP RIGHTWARDS
       
   430 .. |searrow|                         unicode:: U+02198 .. SOUTH EAST ARROW
       
   431 .. |setminus|                        unicode:: U+02216 .. SET MINUS
       
   432 .. |ShortDownArrow|                  unicode:: U+02193 .. DOWNWARDS ARROW
       
   433 .. |ShortLeftArrow|                  unicode:: U+02190 .. LEFTWARDS ARROW
       
   434 .. |shortmid|                        unicode:: U+02223 .. DIVIDES
       
   435 .. |shortparallel|                   unicode:: U+02225 .. PARALLEL TO
       
   436 .. |ShortRightArrow|                 unicode:: U+02192 .. RIGHTWARDS ARROW
       
   437 .. |ShortUpArrow|                    unicode:: U+02191 .. UPWARDS ARROW
       
   438 .. |simeq|                           unicode:: U+02243 .. ASYMPTOTICALLY EQUAL TO
       
   439 .. |SmallCircle|                     unicode:: U+02218 .. RING OPERATOR
       
   440 .. |smallsetminus|                   unicode:: U+02216 .. SET MINUS
       
   441 .. |spadesuit|                       unicode:: U+02660 .. BLACK SPADE SUIT
       
   442 .. |Sqrt|                            unicode:: U+0221A .. SQUARE ROOT
       
   443 .. |sqsubset|                        unicode:: U+0228F .. SQUARE IMAGE OF
       
   444 .. |sqsubseteq|                      unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
       
   445 .. |sqsupset|                        unicode:: U+02290 .. SQUARE ORIGINAL OF
       
   446 .. |sqsupseteq|                      unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
       
   447 .. |Square|                          unicode:: U+025A1 .. WHITE SQUARE
       
   448 .. |SquareIntersection|              unicode:: U+02293 .. SQUARE CAP
       
   449 .. |SquareSubset|                    unicode:: U+0228F .. SQUARE IMAGE OF
       
   450 .. |SquareSubsetEqual|               unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
       
   451 .. |SquareSuperset|                  unicode:: U+02290 .. SQUARE ORIGINAL OF
       
   452 .. |SquareSupersetEqual|             unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
       
   453 .. |SquareUnion|                     unicode:: U+02294 .. SQUARE CUP
       
   454 .. |Star|                            unicode:: U+022C6 .. STAR OPERATOR
       
   455 .. |straightepsilon|                 unicode:: U+003F5 .. GREEK LUNATE EPSILON SYMBOL
       
   456 .. |straightphi|                     unicode:: U+003D5 .. GREEK PHI SYMBOL
       
   457 .. |Subset|                          unicode:: U+022D0 .. DOUBLE SUBSET
       
   458 .. |subset|                          unicode:: U+02282 .. SUBSET OF
       
   459 .. |subseteq|                        unicode:: U+02286 .. SUBSET OF OR EQUAL TO
       
   460 .. |subseteqq|                       unicode:: U+02AC5 .. SUBSET OF ABOVE EQUALS SIGN
       
   461 .. |SubsetEqual|                     unicode:: U+02286 .. SUBSET OF OR EQUAL TO
       
   462 .. |subsetneq|                       unicode:: U+0228A .. SUBSET OF WITH NOT EQUAL TO
       
   463 .. |subsetneqq|                      unicode:: U+02ACB .. SUBSET OF ABOVE NOT EQUAL TO
       
   464 .. |succ|                            unicode:: U+0227B .. SUCCEEDS
       
   465 .. |succapprox|                      unicode:: U+02AB8 .. SUCCEEDS ABOVE ALMOST EQUAL TO
       
   466 .. |succcurlyeq|                     unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
       
   467 .. |Succeeds|                        unicode:: U+0227B .. SUCCEEDS
       
   468 .. |SucceedsEqual|                   unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
       
   469 .. |SucceedsSlantEqual|              unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
       
   470 .. |SucceedsTilde|                   unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
       
   471 .. |succeq|                          unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
       
   472 .. |succnapprox|                     unicode:: U+02ABA .. SUCCEEDS ABOVE NOT ALMOST EQUAL TO
       
   473 .. |succneqq|                        unicode:: U+02AB6 .. SUCCEEDS ABOVE NOT EQUAL TO
       
   474 .. |succnsim|                        unicode:: U+022E9 .. SUCCEEDS BUT NOT EQUIVALENT TO
       
   475 .. |succsim|                         unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
       
   476 .. |SuchThat|                        unicode:: U+0220B .. CONTAINS AS MEMBER
       
   477 .. |Sum|                             unicode:: U+02211 .. N-ARY SUMMATION
       
   478 .. |Superset|                        unicode:: U+02283 .. SUPERSET OF
       
   479 .. |SupersetEqual|                   unicode:: U+02287 .. SUPERSET OF OR EQUAL TO
       
   480 .. |Supset|                          unicode:: U+022D1 .. DOUBLE SUPERSET
       
   481 .. |supset|                          unicode:: U+02283 .. SUPERSET OF
       
   482 .. |supseteq|                        unicode:: U+02287 .. SUPERSET OF OR EQUAL TO
       
   483 .. |supseteqq|                       unicode:: U+02AC6 .. SUPERSET OF ABOVE EQUALS SIGN
       
   484 .. |supsetneq|                       unicode:: U+0228B .. SUPERSET OF WITH NOT EQUAL TO
       
   485 .. |supsetneqq|                      unicode:: U+02ACC .. SUPERSET OF ABOVE NOT EQUAL TO
       
   486 .. |swarrow|                         unicode:: U+02199 .. SOUTH WEST ARROW
       
   487 .. |Therefore|                       unicode:: U+02234 .. THEREFORE
       
   488 .. |therefore|                       unicode:: U+02234 .. THEREFORE
       
   489 .. |thickapprox|                     unicode:: U+02248 .. ALMOST EQUAL TO
       
   490 .. |thicksim|                        unicode:: U+0223C .. TILDE OPERATOR
       
   491 .. |ThinSpace|                       unicode:: U+02009 .. THIN SPACE
       
   492 .. |Tilde|                           unicode:: U+0223C .. TILDE OPERATOR
       
   493 .. |TildeEqual|                      unicode:: U+02243 .. ASYMPTOTICALLY EQUAL TO
       
   494 .. |TildeFullEqual|                  unicode:: U+02245 .. APPROXIMATELY EQUAL TO
       
   495 .. |TildeTilde|                      unicode:: U+02248 .. ALMOST EQUAL TO
       
   496 .. |toea|                            unicode:: U+02928 .. NORTH EAST ARROW AND SOUTH EAST ARROW
       
   497 .. |tosa|                            unicode:: U+02929 .. SOUTH EAST ARROW AND SOUTH WEST ARROW
       
   498 .. |triangle|                        unicode:: U+025B5 .. WHITE UP-POINTING SMALL TRIANGLE
       
   499 .. |triangledown|                    unicode:: U+025BF .. WHITE DOWN-POINTING SMALL TRIANGLE
       
   500 .. |triangleleft|                    unicode:: U+025C3 .. WHITE LEFT-POINTING SMALL TRIANGLE
       
   501 .. |trianglelefteq|                  unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
       
   502 .. |triangleq|                       unicode:: U+0225C .. DELTA EQUAL TO
       
   503 .. |triangleright|                   unicode:: U+025B9 .. WHITE RIGHT-POINTING SMALL TRIANGLE
       
   504 .. |trianglerighteq|                 unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
       
   505 .. |TripleDot|                       unicode:: U+020DB .. COMBINING THREE DOTS ABOVE
       
   506 .. |twoheadleftarrow|                unicode:: U+0219E .. LEFTWARDS TWO HEADED ARROW
       
   507 .. |twoheadrightarrow|               unicode:: U+021A0 .. RIGHTWARDS TWO HEADED ARROW
       
   508 .. |ulcorner|                        unicode:: U+0231C .. TOP LEFT CORNER
       
   509 .. |Union|                           unicode:: U+022C3 .. N-ARY UNION
       
   510 .. |UnionPlus|                       unicode:: U+0228E .. MULTISET UNION
       
   511 .. |UpArrow|                         unicode:: U+02191 .. UPWARDS ARROW
       
   512 .. |Uparrow|                         unicode:: U+021D1 .. UPWARDS DOUBLE ARROW
       
   513 .. |uparrow|                         unicode:: U+02191 .. UPWARDS ARROW
       
   514 .. |UpArrowDownArrow|                unicode:: U+021C5 .. UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
       
   515 .. |UpDownArrow|                     unicode:: U+02195 .. UP DOWN ARROW
       
   516 .. |Updownarrow|                     unicode:: U+021D5 .. UP DOWN DOUBLE ARROW
       
   517 .. |updownarrow|                     unicode:: U+02195 .. UP DOWN ARROW
       
   518 .. |UpEquilibrium|                   unicode:: U+0296E .. UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
       
   519 .. |upharpoonleft|                   unicode:: U+021BF .. UPWARDS HARPOON WITH BARB LEFTWARDS
       
   520 .. |upharpoonright|                  unicode:: U+021BE .. UPWARDS HARPOON WITH BARB RIGHTWARDS
       
   521 .. |UpperLeftArrow|                  unicode:: U+02196 .. NORTH WEST ARROW
       
   522 .. |UpperRightArrow|                 unicode:: U+02197 .. NORTH EAST ARROW
       
   523 .. |upsilon|                         unicode:: U+003C5 .. GREEK SMALL LETTER UPSILON
       
   524 .. |UpTee|                           unicode:: U+022A5 .. UP TACK
       
   525 .. |UpTeeArrow|                      unicode:: U+021A5 .. UPWARDS ARROW FROM BAR
       
   526 .. |upuparrows|                      unicode:: U+021C8 .. UPWARDS PAIRED ARROWS
       
   527 .. |urcorner|                        unicode:: U+0231D .. TOP RIGHT CORNER
       
   528 .. |varepsilon|                      unicode:: U+003B5 .. GREEK SMALL LETTER EPSILON
       
   529 .. |varkappa|                        unicode:: U+003F0 .. GREEK KAPPA SYMBOL
       
   530 .. |varnothing|                      unicode:: U+02205 .. EMPTY SET
       
   531 .. |varphi|                          unicode:: U+003C6 .. GREEK SMALL LETTER PHI
       
   532 .. |varpi|                           unicode:: U+003D6 .. GREEK PI SYMBOL
       
   533 .. |varpropto|                       unicode:: U+0221D .. PROPORTIONAL TO
       
   534 .. |varrho|                          unicode:: U+003F1 .. GREEK RHO SYMBOL
       
   535 .. |varsigma|                        unicode:: U+003C2 .. GREEK SMALL LETTER FINAL SIGMA
       
   536 .. |varsubsetneq|                    unicode:: U+0228A U+0FE00 .. SUBSET OF WITH NOT EQUAL TO - variant with stroke through bottom members
       
   537 .. |varsubsetneqq|                   unicode:: U+02ACB U+0FE00 .. SUBSET OF ABOVE NOT EQUAL TO - variant with stroke through bottom members
       
   538 .. |varsupsetneq|                    unicode:: U+0228B U+0FE00 .. SUPERSET OF WITH NOT EQUAL TO - variant with stroke through bottom members
       
   539 .. |varsupsetneqq|                   unicode:: U+02ACC U+0FE00 .. SUPERSET OF ABOVE NOT EQUAL TO - variant with stroke through bottom members
       
   540 .. |vartheta|                        unicode:: U+003D1 .. GREEK THETA SYMBOL
       
   541 .. |vartriangleleft|                 unicode:: U+022B2 .. NORMAL SUBGROUP OF
       
   542 .. |vartriangleright|                unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
       
   543 .. |Vee|                             unicode:: U+022C1 .. N-ARY LOGICAL OR
       
   544 .. |vee|                             unicode:: U+02228 .. LOGICAL OR
       
   545 .. |Vert|                            unicode:: U+02016 .. DOUBLE VERTICAL LINE
       
   546 .. |vert|                            unicode:: U+0007C .. VERTICAL LINE
       
   547 .. |VerticalBar|                     unicode:: U+02223 .. DIVIDES
       
   548 .. |VerticalTilde|                   unicode:: U+02240 .. WREATH PRODUCT
       
   549 .. |VeryThinSpace|                   unicode:: U+0200A .. HAIR SPACE
       
   550 .. |Wedge|                           unicode:: U+022C0 .. N-ARY LOGICAL AND
       
   551 .. |wedge|                           unicode:: U+02227 .. LOGICAL AND
       
   552 .. |wp|                              unicode:: U+02118 .. SCRIPT CAPITAL P
       
   553 .. |wr|                              unicode:: U+02240 .. WREATH PRODUCT
       
   554 .. |zeetrf|                          unicode:: U+02128 .. BLACK-LETTER CAPITAL Z