mmlalias.txt

Requirement =====================================================================================

.. This data file has been placed in the public domain.
.. Derived from the Unicode character mappings available from
   <http://www.w3.org/2003/entities/xml/>.
   Processed by unicode2rstsubs.py, part of Docutils:
   <http://docutils.sourceforge.net>.

.. |angle|                           unicode:: U+02220 .. ANGLE
.. |ApplyFunction|                   unicode:: U+02061 .. FUNCTION APPLICATION
.. |approx|                          unicode:: U+02248 .. ALMOST EQUAL TO
.. |approxeq|                        unicode:: U+0224A .. ALMOST EQUAL OR EQUAL TO
.. |Assign|                          unicode:: U+02254 .. COLON EQUALS
.. |backcong|                        unicode:: U+0224C .. ALL EQUAL TO
.. |backepsilon|                     unicode:: U+003F6 .. GREEK REVERSED LUNATE EPSILON SYMBOL
.. |backprime|                       unicode:: U+02035 .. REVERSED PRIME
.. |backsim|                         unicode:: U+0223D .. REVERSED TILDE
.. |backsimeq|                       unicode:: U+022CD .. REVERSED TILDE EQUALS
.. |Backslash|                       unicode:: U+02216 .. SET MINUS
.. |barwedge|                        unicode:: U+02305 .. PROJECTIVE
.. |Because|                         unicode:: U+02235 .. BECAUSE
.. |because|                         unicode:: U+02235 .. BECAUSE
.. |Bernoullis|                      unicode:: U+0212C .. SCRIPT CAPITAL B
.. |between|                         unicode:: U+0226C .. BETWEEN
.. |bigcap|                          unicode:: U+022C2 .. N-ARY INTERSECTION
.. |bigcirc|                         unicode:: U+025EF .. LARGE CIRCLE
.. |bigcup|                          unicode:: U+022C3 .. N-ARY UNION
.. |bigodot|                         unicode:: U+02A00 .. N-ARY CIRCLED DOT OPERATOR
.. |bigoplus|                        unicode:: U+02A01 .. N-ARY CIRCLED PLUS OPERATOR
.. |bigotimes|                       unicode:: U+02A02 .. N-ARY CIRCLED TIMES OPERATOR
.. |bigsqcup|                        unicode:: U+02A06 .. N-ARY SQUARE UNION OPERATOR
.. |bigstar|                         unicode:: U+02605 .. BLACK STAR
.. |bigtriangledown|                 unicode:: U+025BD .. WHITE DOWN-POINTING TRIANGLE
.. |bigtriangleup|                   unicode:: U+025B3 .. WHITE UP-POINTING TRIANGLE
.. |biguplus|                        unicode:: U+02A04 .. N-ARY UNION OPERATOR WITH PLUS
.. |bigvee|                          unicode:: U+022C1 .. N-ARY LOGICAL OR
.. |bigwedge|                        unicode:: U+022C0 .. N-ARY LOGICAL AND
.. |bkarow|                          unicode:: U+0290D .. RIGHTWARDS DOUBLE DASH ARROW
.. |blacklozenge|                    unicode:: U+029EB .. BLACK LOZENGE
.. |blacksquare|                     unicode:: U+025AA .. BLACK SMALL SQUARE
.. |blacktriangle|                   unicode:: U+025B4 .. BLACK UP-POINTING SMALL TRIANGLE
.. |blacktriangledown|               unicode:: U+025BE .. BLACK DOWN-POINTING SMALL TRIANGLE
.. |blacktriangleleft|               unicode:: U+025C2 .. BLACK LEFT-POINTING SMALL TRIANGLE
.. |blacktriangleright|              unicode:: U+025B8 .. BLACK RIGHT-POINTING SMALL TRIANGLE
.. |bot|                             unicode:: U+022A5 .. UP TACK
.. |boxminus|                        unicode:: U+0229F .. SQUARED MINUS
.. |boxplus|                         unicode:: U+0229E .. SQUARED PLUS
.. |boxtimes|                        unicode:: U+022A0 .. SQUARED TIMES
.. |Breve|                           unicode:: U+002D8 .. BREVE
.. |bullet|                          unicode:: U+02022 .. BULLET
.. |Bumpeq|                          unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
.. |bumpeq|                          unicode:: U+0224F .. DIFFERENCE BETWEEN
.. |CapitalDifferentialD|            unicode:: U+02145 .. DOUBLE-STRUCK ITALIC CAPITAL D
.. |Cayleys|                         unicode:: U+0212D .. BLACK-LETTER CAPITAL C
.. |Cedilla|                         unicode:: U+000B8 .. CEDILLA
.. |CenterDot|                       unicode:: U+000B7 .. MIDDLE DOT
.. |centerdot|                       unicode:: U+000B7 .. MIDDLE DOT
.. |checkmark|                       unicode:: U+02713 .. CHECK MARK
.. |circeq|                          unicode:: U+02257 .. RING EQUAL TO
.. |circlearrowleft|                 unicode:: U+021BA .. ANTICLOCKWISE OPEN CIRCLE ARROW
.. |circlearrowright|                unicode:: U+021BB .. CLOCKWISE OPEN CIRCLE ARROW
.. |circledast|                      unicode:: U+0229B .. CIRCLED ASTERISK OPERATOR
.. |circledcirc|                     unicode:: U+0229A .. CIRCLED RING OPERATOR
.. |circleddash|                     unicode:: U+0229D .. CIRCLED DASH
.. |CircleDot|                       unicode:: U+02299 .. CIRCLED DOT OPERATOR
.. |circledR|                        unicode:: U+000AE .. REGISTERED SIGN
.. |circledS|                        unicode:: U+024C8 .. CIRCLED LATIN CAPITAL LETTER S
.. |CircleMinus|                     unicode:: U+02296 .. CIRCLED MINUS
.. |CirclePlus|                      unicode:: U+02295 .. CIRCLED PLUS
.. |CircleTimes|                     unicode:: U+02297 .. CIRCLED TIMES
.. |ClockwiseContourIntegral|        unicode:: U+02232 .. CLOCKWISE CONTOUR INTEGRAL
.. |CloseCurlyDoubleQuote|           unicode:: U+0201D .. RIGHT DOUBLE QUOTATION MARK
.. |CloseCurlyQuote|                 unicode:: U+02019 .. RIGHT SINGLE QUOTATION MARK
.. |clubsuit|                        unicode:: U+02663 .. BLACK CLUB SUIT
.. |coloneq|                         unicode:: U+02254 .. COLON EQUALS
.. |complement|                      unicode:: U+02201 .. COMPLEMENT
.. |complexes|                       unicode:: U+02102 .. DOUBLE-STRUCK CAPITAL C
.. |Congruent|                       unicode:: U+02261 .. IDENTICAL TO
.. |ContourIntegral|                 unicode:: U+0222E .. CONTOUR INTEGRAL
.. |Coproduct|                       unicode:: U+02210 .. N-ARY COPRODUCT
.. |CounterClockwiseContourIntegral| unicode:: U+02233 .. ANTICLOCKWISE CONTOUR INTEGRAL
.. |CupCap|                          unicode:: U+0224D .. EQUIVALENT TO
.. |curlyeqprec|                     unicode:: U+022DE .. EQUAL TO OR PRECEDES
.. |curlyeqsucc|                     unicode:: U+022DF .. EQUAL TO OR SUCCEEDS
.. |curlyvee|                        unicode:: U+022CE .. CURLY LOGICAL OR
.. |curlywedge|                      unicode:: U+022CF .. CURLY LOGICAL AND
.. |curvearrowleft|                  unicode:: U+021B6 .. ANTICLOCKWISE TOP SEMICIRCLE ARROW
.. |curvearrowright|                 unicode:: U+021B7 .. CLOCKWISE TOP SEMICIRCLE ARROW
.. |dbkarow|                         unicode:: U+0290F .. RIGHTWARDS TRIPLE DASH ARROW
.. |ddagger|                         unicode:: U+02021 .. DOUBLE DAGGER
.. |ddotseq|                         unicode:: U+02A77 .. EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
.. |Del|                             unicode:: U+02207 .. NABLA
.. |DiacriticalAcute|                unicode:: U+000B4 .. ACUTE ACCENT
.. |DiacriticalDot|                  unicode:: U+002D9 .. DOT ABOVE
.. |DiacriticalDoubleAcute|          unicode:: U+002DD .. DOUBLE ACUTE ACCENT
.. |DiacriticalGrave|                unicode:: U+00060 .. GRAVE ACCENT
.. |DiacriticalTilde|                unicode:: U+002DC .. SMALL TILDE
.. |Diamond|                         unicode:: U+022C4 .. DIAMOND OPERATOR
.. |diamond|                         unicode:: U+022C4 .. DIAMOND OPERATOR
.. |diamondsuit|                     unicode:: U+02666 .. BLACK DIAMOND SUIT
.. |DifferentialD|                   unicode:: U+02146 .. DOUBLE-STRUCK ITALIC SMALL D
.. |digamma|                         unicode:: U+003DD .. GREEK SMALL LETTER DIGAMMA
.. |div|                             unicode:: U+000F7 .. DIVISION SIGN
.. |divideontimes|                   unicode:: U+022C7 .. DIVISION TIMES
.. |doteq|                           unicode:: U+02250 .. APPROACHES THE LIMIT
.. |doteqdot|                        unicode:: U+02251 .. GEOMETRICALLY EQUAL TO
.. |DotEqual|                        unicode:: U+02250 .. APPROACHES THE LIMIT
.. |dotminus|                        unicode:: U+02238 .. DOT MINUS
.. |dotplus|                         unicode:: U+02214 .. DOT PLUS
.. |dotsquare|                       unicode:: U+022A1 .. SQUARED DOT OPERATOR
.. |doublebarwedge|                  unicode:: U+02306 .. PERSPECTIVE
.. |DoubleContourIntegral|           unicode:: U+0222F .. SURFACE INTEGRAL
.. |DoubleDot|                       unicode:: U+000A8 .. DIAERESIS
.. |DoubleDownArrow|                 unicode:: U+021D3 .. DOWNWARDS DOUBLE ARROW
.. |DoubleLeftArrow|                 unicode:: U+021D0 .. LEFTWARDS DOUBLE ARROW
.. |DoubleLeftRightArrow|            unicode:: U+021D4 .. LEFT RIGHT DOUBLE ARROW
.. |DoubleLeftTee|                   unicode:: U+02AE4 .. VERTICAL BAR DOUBLE LEFT TURNSTILE
.. |DoubleLongLeftArrow|             unicode:: U+027F8 .. LONG LEFTWARDS DOUBLE ARROW
.. |DoubleLongLeftRightArrow|        unicode:: U+027FA .. LONG LEFT RIGHT DOUBLE ARROW
.. |DoubleLongRightArrow|            unicode:: U+027F9 .. LONG RIGHTWARDS DOUBLE ARROW
.. |DoubleRightArrow|                unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
.. |DoubleRightTee|                  unicode:: U+022A8 .. TRUE
.. |DoubleUpArrow|                   unicode:: U+021D1 .. UPWARDS DOUBLE ARROW
.. |DoubleUpDownArrow|               unicode:: U+021D5 .. UP DOWN DOUBLE ARROW
.. |DoubleVerticalBar|               unicode:: U+02225 .. PARALLEL TO
.. |DownArrow|                       unicode:: U+02193 .. DOWNWARDS ARROW
.. |Downarrow|                       unicode:: U+021D3 .. DOWNWARDS DOUBLE ARROW
.. |downarrow|                       unicode:: U+02193 .. DOWNWARDS ARROW
.. |DownArrowUpArrow|                unicode:: U+021F5 .. DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
.. |downdownarrows|                  unicode:: U+021CA .. DOWNWARDS PAIRED ARROWS
.. |downharpoonleft|                 unicode:: U+021C3 .. DOWNWARDS HARPOON WITH BARB LEFTWARDS
.. |downharpoonright|                unicode:: U+021C2 .. DOWNWARDS HARPOON WITH BARB RIGHTWARDS
.. |DownLeftVector|                  unicode:: U+021BD .. LEFTWARDS HARPOON WITH BARB DOWNWARDS
.. |DownRightVector|                 unicode:: U+021C1 .. RIGHTWARDS HARPOON WITH BARB DOWNWARDS
.. |DownTee|                         unicode:: U+022A4 .. DOWN TACK
.. |DownTeeArrow|                    unicode:: U+021A7 .. DOWNWARDS ARROW FROM BAR
.. |drbkarow|                        unicode:: U+02910 .. RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW
.. |Element|                         unicode:: U+02208 .. ELEMENT OF
.. |emptyset|                        unicode:: U+02205 .. EMPTY SET
.. |eqcirc|                          unicode:: U+02256 .. RING IN EQUAL TO
.. |eqcolon|                         unicode:: U+02255 .. EQUALS COLON
.. |eqsim|                           unicode:: U+02242 .. MINUS TILDE
.. |eqslantgtr|                      unicode:: U+02A96 .. SLANTED EQUAL TO OR GREATER-THAN
.. |eqslantless|                     unicode:: U+02A95 .. SLANTED EQUAL TO OR LESS-THAN
.. |EqualTilde|                      unicode:: U+02242 .. MINUS TILDE
.. |Equilibrium|                     unicode:: U+021CC .. RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
.. |Exists|                          unicode:: U+02203 .. THERE EXISTS
.. |expectation|                     unicode:: U+02130 .. SCRIPT CAPITAL E
.. |ExponentialE|                    unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
.. |exponentiale|                    unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
.. |fallingdotseq|                   unicode:: U+02252 .. APPROXIMATELY EQUAL TO OR THE IMAGE OF
.. |ForAll|                          unicode:: U+02200 .. FOR ALL
.. |Fouriertrf|                      unicode:: U+02131 .. SCRIPT CAPITAL F
.. |geq|                             unicode:: U+02265 .. GREATER-THAN OR EQUAL TO
.. |geqq|                            unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
.. |geqslant|                        unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
.. |gg|                              unicode:: U+0226B .. MUCH GREATER-THAN
.. |ggg|                             unicode:: U+022D9 .. VERY MUCH GREATER-THAN
.. |gnapprox|                        unicode:: U+02A8A .. GREATER-THAN AND NOT APPROXIMATE
.. |gneq|                            unicode:: U+02A88 .. GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
.. |gneqq|                           unicode:: U+02269 .. GREATER-THAN BUT NOT EQUAL TO
.. |GreaterEqual|                    unicode:: U+02265 .. GREATER-THAN OR EQUAL TO
.. |GreaterEqualLess|                unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
.. |GreaterFullEqual|                unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
.. |GreaterLess|                     unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
.. |GreaterSlantEqual|               unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
.. |GreaterTilde|                    unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
.. |gtrapprox|                       unicode:: U+02A86 .. GREATER-THAN OR APPROXIMATE
.. |gtrdot|                          unicode:: U+022D7 .. GREATER-THAN WITH DOT
.. |gtreqless|                       unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
.. |gtreqqless|                      unicode:: U+02A8C .. GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
.. |gtrless|                         unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
.. |gtrsim|                          unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
.. |gvertneqq|                       unicode:: U+02269 U+0FE00 .. GREATER-THAN BUT NOT EQUAL TO - with vertical stroke
.. |Hacek|                           unicode:: U+002C7 .. CARON
.. |hbar|                            unicode:: U+0210F .. PLANCK CONSTANT OVER TWO PI
.. |heartsuit|                       unicode:: U+02665 .. BLACK HEART SUIT
.. |HilbertSpace|                    unicode:: U+0210B .. SCRIPT CAPITAL H
.. |hksearow|                        unicode:: U+02925 .. SOUTH EAST ARROW WITH HOOK
.. |hkswarow|                        unicode:: U+02926 .. SOUTH WEST ARROW WITH HOOK
.. |hookleftarrow|                   unicode:: U+021A9 .. LEFTWARDS ARROW WITH HOOK
.. |hookrightarrow|                  unicode:: U+021AA .. RIGHTWARDS ARROW WITH HOOK
.. |hslash|                          unicode:: U+0210F .. PLANCK CONSTANT OVER TWO PI
.. |HumpDownHump|                    unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
.. |HumpEqual|                       unicode:: U+0224F .. DIFFERENCE BETWEEN
.. |iiiint|                          unicode:: U+02A0C .. QUADRUPLE INTEGRAL OPERATOR
.. |iiint|                           unicode:: U+0222D .. TRIPLE INTEGRAL