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