mmlalias.txt

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

.. |pm|                              unicode:: U+000B1 .. PLUS-MINUS SIGN
.. |Poincareplane|                   unicode:: U+0210C .. BLACK-LETTER CAPITAL H
.. |prec|                            unicode:: U+0227A .. PRECEDES
.. |precapprox|                      unicode:: U+02AB7 .. PRECEDES ABOVE ALMOST EQUAL TO
.. |preccurlyeq|                     unicode:: U+0227C .. PRECEDES OR EQUAL TO
.. |Precedes|                        unicode:: U+0227A .. PRECEDES
.. |PrecedesEqual|                   unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
.. |PrecedesSlantEqual|              unicode:: U+0227C .. PRECEDES OR EQUAL TO
.. |PrecedesTilde|                   unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
.. |preceq|                          unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
.. |precnapprox|                     unicode:: U+02AB9 .. PRECEDES ABOVE NOT ALMOST EQUAL TO
.. |precneqq|                        unicode:: U+02AB5 .. PRECEDES ABOVE NOT EQUAL TO
.. |precnsim|                        unicode:: U+022E8 .. PRECEDES BUT NOT EQUIVALENT TO
.. |precsim|                         unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
.. |primes|                          unicode:: U+02119 .. DOUBLE-STRUCK CAPITAL P
.. |Proportion|                      unicode:: U+02237 .. PROPORTION
.. |Proportional|                    unicode:: U+0221D .. PROPORTIONAL TO
.. |propto|                          unicode:: U+0221D .. PROPORTIONAL TO
.. |quaternions|                     unicode:: U+0210D .. DOUBLE-STRUCK CAPITAL H
.. |questeq|                         unicode:: U+0225F .. QUESTIONED EQUAL TO
.. |rangle|                          unicode:: U+0232A .. RIGHT-POINTING ANGLE BRACKET
.. |rationals|                       unicode:: U+0211A .. DOUBLE-STRUCK CAPITAL Q
.. |rbrace|                          unicode:: U+0007D .. RIGHT CURLY BRACKET
.. |rbrack|                          unicode:: U+0005D .. RIGHT SQUARE BRACKET
.. |Re|                              unicode:: U+0211C .. BLACK-LETTER CAPITAL R
.. |realine|                         unicode:: U+0211B .. SCRIPT CAPITAL R
.. |realpart|                        unicode:: U+0211C .. BLACK-LETTER CAPITAL R
.. |reals|                           unicode:: U+0211D .. DOUBLE-STRUCK CAPITAL R
.. |ReverseElement|                  unicode:: U+0220B .. CONTAINS AS MEMBER
.. |ReverseEquilibrium|              unicode:: U+021CB .. LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
.. |ReverseUpEquilibrium|            unicode:: U+0296F .. DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
.. |RightAngleBracket|               unicode:: U+0232A .. RIGHT-POINTING ANGLE BRACKET
.. |RightArrow|                      unicode:: U+02192 .. RIGHTWARDS ARROW
.. |Rightarrow|                      unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
.. |rightarrow|                      unicode:: U+02192 .. RIGHTWARDS ARROW
.. |RightArrowBar|                   unicode:: U+021E5 .. RIGHTWARDS ARROW TO BAR
.. |RightArrowLeftArrow|             unicode:: U+021C4 .. RIGHTWARDS ARROW OVER LEFTWARDS ARROW
.. |rightarrowtail|                  unicode:: U+021A3 .. RIGHTWARDS ARROW WITH TAIL
.. |RightCeiling|                    unicode:: U+02309 .. RIGHT CEILING
.. |RightDoubleBracket|              unicode:: U+0301B .. RIGHT WHITE SQUARE BRACKET
.. |RightDownVector|                 unicode:: U+021C2 .. DOWNWARDS HARPOON WITH BARB RIGHTWARDS
.. |RightFloor|                      unicode:: U+0230B .. RIGHT FLOOR
.. |rightharpoondown|                unicode:: U+021C1 .. RIGHTWARDS HARPOON WITH BARB DOWNWARDS
.. |rightharpoonup|                  unicode:: U+021C0 .. RIGHTWARDS HARPOON WITH BARB UPWARDS
.. |rightleftarrows|                 unicode:: U+021C4 .. RIGHTWARDS ARROW OVER LEFTWARDS ARROW
.. |rightleftharpoons|               unicode:: U+021CC .. RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
.. |rightrightarrows|                unicode:: U+021C9 .. RIGHTWARDS PAIRED ARROWS
.. |rightsquigarrow|                 unicode:: U+0219D .. RIGHTWARDS WAVE ARROW
.. |RightTee|                        unicode:: U+022A2 .. RIGHT TACK
.. |RightTeeArrow|                   unicode:: U+021A6 .. RIGHTWARDS ARROW FROM BAR
.. |rightthreetimes|                 unicode:: U+022CC .. RIGHT SEMIDIRECT PRODUCT
.. |RightTriangle|                   unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
.. |RightTriangleEqual|              unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
.. |RightUpVector|                   unicode:: U+021BE .. UPWARDS HARPOON WITH BARB RIGHTWARDS
.. |RightVector|                     unicode:: U+021C0 .. RIGHTWARDS HARPOON WITH BARB UPWARDS
.. |risingdotseq|                    unicode:: U+02253 .. IMAGE OF OR APPROXIMATELY EQUAL TO
.. |rmoustache|                      unicode:: U+023B1 .. UPPER RIGHT OR LOWER LEFT CURLY BRACKET SECTION
.. |Rrightarrow|                     unicode:: U+021DB .. RIGHTWARDS TRIPLE ARROW
.. |Rsh|                             unicode:: U+021B1 .. UPWARDS ARROW WITH TIP RIGHTWARDS
.. |searrow|                         unicode:: U+02198 .. SOUTH EAST ARROW
.. |setminus|                        unicode:: U+02216 .. SET MINUS
.. |ShortDownArrow|                  unicode:: U+02193 .. DOWNWARDS ARROW
.. |ShortLeftArrow|                  unicode:: U+02190 .. LEFTWARDS ARROW
.. |shortmid|                        unicode:: U+02223 .. DIVIDES
.. |shortparallel|                   unicode:: U+02225 .. PARALLEL TO
.. |ShortRightArrow|                 unicode:: U+02192 .. RIGHTWARDS ARROW
.. |ShortUpArrow|                    unicode:: U+02191 .. UPWARDS ARROW
.. |simeq|                           unicode:: U+02243 .. ASYMPTOTICALLY EQUAL TO
.. |SmallCircle|                     unicode:: U+02218 .. RING OPERATOR
.. |smallsetminus|                   unicode:: U+02216 .. SET MINUS
.. |spadesuit|                       unicode:: U+02660 .. BLACK SPADE SUIT
.. |Sqrt|                            unicode:: U+0221A .. SQUARE ROOT
.. |sqsubset|                        unicode:: U+0228F .. SQUARE IMAGE OF
.. |sqsubseteq|                      unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
.. |sqsupset|                        unicode:: U+02290 .. SQUARE ORIGINAL OF
.. |sqsupseteq|                      unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
.. |Square|                          unicode:: U+025A1 .. WHITE SQUARE
.. |SquareIntersection|              unicode:: U+02293 .. SQUARE CAP
.. |SquareSubset|                    unicode:: U+0228F .. SQUARE IMAGE OF
.. |SquareSubsetEqual|               unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
.. |SquareSuperset|                  unicode:: U+02290 .. SQUARE ORIGINAL OF
.. |SquareSupersetEqual|             unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
.. |SquareUnion|                     unicode:: U+02294 .. SQUARE CUP
.. |Star|                            unicode:: U+022C6 .. STAR OPERATOR
.. |straightepsilon|                 unicode:: U+003F5 .. GREEK LUNATE EPSILON SYMBOL
.. |straightphi|                     unicode:: U+003D5 .. GREEK PHI SYMBOL
.. |Subset|                          unicode:: U+022D0 .. DOUBLE SUBSET
.. |subset|                          unicode:: U+02282 .. SUBSET OF
.. |subseteq|                        unicode:: U+02286 .. SUBSET OF OR EQUAL TO
.. |subseteqq|                       unicode:: U+02AC5 .. SUBSET OF ABOVE EQUALS SIGN
.. |SubsetEqual|                     unicode:: U+02286 .. SUBSET OF OR EQUAL TO
.. |subsetneq|                       unicode:: U+0228A .. SUBSET OF WITH NOT EQUAL TO
.. |subsetneqq|                      unicode:: U+02ACB .. SUBSET OF ABOVE NOT EQUAL TO
.. |succ|                            unicode:: U+0227B .. SUCCEEDS
.. |succapprox|                      unicode:: U+02AB8 .. SUCCEEDS ABOVE ALMOST EQUAL TO
.. |succcurlyeq|                     unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
.. |Succeeds|                        unicode:: U+0227B .. SUCCEEDS
.. |SucceedsEqual|                   unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
.. |SucceedsSlantEqual|              unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
.. |SucceedsTilde|                   unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
.. |succeq|                          unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
.. |succnapprox|                     unicode:: U+02ABA .. SUCCEEDS ABOVE NOT ALMOST EQUAL TO
.. |succneqq|                        unicode:: U+02AB6 .. SUCCEEDS ABOVE NOT EQUAL TO
.. |succnsim|                        unicode:: U+022E9 .. SUCCEEDS BUT NOT EQUIVALENT TO
.. |succsim|                         unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
.. |SuchThat|                        unicode:: U+0220B .. CONTAINS AS MEMBER
.. |Sum|                             unicode:: U+02211 .. N-ARY SUMMATION
.. |Superset|                        unicode:: U+02283 .. SUPERSET OF
.. |SupersetEqual|                   unicode:: U+02287 .. SUPERSET OF OR EQUAL TO
.. |Supset|                          unicode:: U+022D1 .. DOUBLE SUPERSET
.. |supset|                          unicode:: U+02283 .. SUPERSET OF
.. |supseteq|                        unicode:: U+02287 .. SUPERSET OF OR EQUAL TO
.. |supseteqq|                       unicode:: U+02AC6 .. SUPERSET OF ABOVE EQUALS SIGN
.. |supsetneq|                       unicode:: U+0228B .. SUPERSET OF WITH NOT EQUAL TO
.. |supsetneqq|                      unicode:: U+02ACC .. SUPERSET OF ABOVE NOT EQUAL TO
.. |swarrow|                         unicode:: U+02199 .. SOUTH WEST ARROW
.. |Therefore|                       unicode:: U+02234 .. THEREFORE
.. |therefore|                       unicode:: U+02234 .. THEREFORE
.. |thickapprox|                     unicode:: U+02248 .. ALMOST EQUAL TO
.. |thicksim|                        unicode:: U+0223C .. TILDE OPERATOR
.. |ThinSpace|                       unicode:: U+02009 .. THIN SPACE
.. |Tilde|                           unicode:: U+0223C .. TILDE OPERATOR
.. |TildeEqual|                      unicode:: U+02243 .. ASYMPTOTICALLY EQUAL TO
.. |TildeFullEqual|                  unicode:: U+02245 .. APPROXIMATELY EQUAL TO
.. |TildeTilde|                      unicode:: U+02248 .. ALMOST EQUAL TO
.. |toea|                            unicode:: U+02928 .. NORTH EAST ARROW AND SOUTH EAST ARROW
.. |tosa|                            unicode:: U+02929 .. SOUTH EAST ARROW AND SOUTH WEST ARROW
.. |triangle|                        unicode:: U+025B5 .. WHITE UP-POINTING SMALL TRIANGLE
.. |triangledown|                    unicode:: U+025BF .. WHITE DOWN-POINTING SMALL TRIANGLE
.. |triangleleft|                    unicode:: U+025C3 .. WHITE LEFT-POINTING SMALL TRIANGLE
.. |trianglelefteq|                  unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
.. |triangleq|                       unicode:: U+0225C .. DELTA EQUAL TO
.. |triangleright|                   unicode:: U+025B9 .. WHITE RIGHT-POINTING SMALL TRIANGLE
.. |trianglerighteq|                 unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
.. |TripleDot|                       unicode:: U+020DB .. COMBINING THREE DOTS ABOVE
.. |twoheadleftarrow|                unicode:: U+0219E .. LEFTWARDS TWO HEADED ARROW
.. |twoheadrightarrow|               unicode:: U+021A0 .. RIGHTWARDS TWO HEADED ARROW
.. |ulcorner|                        unicode:: U+0231C .. TOP LEFT CORNER
.. |Union|                           unicode:: U+022C3 .. N-ARY UNION
.. |UnionPlus|                       unicode:: U+0228E .. MULTISET UNION
.. |UpArrow|                         unicode:: U+02191 .. UPWARDS ARROW
.. |Uparrow|                         unicode:: U+021D1 .. UPWARDS DOUBLE ARROW
.. |uparrow|                         unicode:: U+02191 .. UPWARDS ARROW
.. |UpArrowDownArrow|                unicode:: U+021C5 .. UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
.. |UpDownArrow|                     unicode:: U+02195 .. UP DOWN ARROW
.. |Updownarrow|                     unicode:: U+021D5 .. UP DOWN DOUBLE ARROW
.. |updownarrow|                     unicode:: U+02195 .. UP DOWN ARROW
.. |UpEquilibrium|                   unicode:: U+0296E .. UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
.. |upharpoonleft|                   unicode:: U+021BF .. UPWARDS HARPOON WITH BARB LEFTWARDS
.. |upharpoonright|                  unicode:: U+021BE .. UPWARDS HARPOON WITH BARB RIGHTWARDS
.. |UpperLeftArrow|                  unicode:: U+02196 .. NORTH WEST ARROW
.. |UpperRightArrow|                 unicode:: U+02197 .. NORTH EAST ARROW
.. |upsilon|                         unicode:: U+003C5 .. GREEK SMALL LETTER UPSILON
.. |UpTee|                           unicode:: U+022A5 .. UP TACK
.. |UpTeeArrow|                      unicode:: U+021A5 .. UPWARDS ARROW FROM BAR
.. |upuparrows|                      unicode:: U+021C8 .. UPWARDS PAIRED ARROWS
.. |urcorner|                        unicode:: U+0231D .. TOP RIGHT CORNER
.. |varepsilon|                      unicode:: U+003B5 .. GREEK SMALL LETTER EPSILON
.. |varkappa|                        unicode:: U+003F0 .. GREEK KAPPA SYMBOL
.. |varnothing|                      unicode:: U+02205 .. EMPTY SET
.. |varphi|                          unicode:: U+003C6 .. GREEK SMALL LETTER PHI
.. |varpi|                           unicode:: U+003D6 .. GREEK PI SYMBOL
.. |varpropto|                       unicode:: U+0221D .. PROPORTIONAL TO
.. |varrho|                          unicode:: U+003F1 .. GREEK RHO SYMBOL
.. |varsigma|                        unicode:: U+003C2 .. GREEK SMALL LETTER FINAL SIGMA
.. |varsubsetneq|                    unicode:: U+0228A U+0FE00 .. SUBSET OF WITH NOT EQUAL TO - variant with stroke through bottom members
.. |varsubsetneqq|                   unicode:: U+02ACB U+0FE00 .. SUBSET OF ABOVE NOT EQUAL TO - variant with stroke through bottom members
.. |varsupsetneq|                    unicode:: U+0228B U+0FE00 .. SUPERSET OF WITH NOT EQUAL TO - variant with stroke through bottom members
.. |varsupsetneqq|                   unicode:: U+02ACC U+0FE00 .. SUPERSET OF ABOVE NOT EQUAL TO - variant with stroke through bottom members
.. |vartheta|                        unicode:: U+003D1 .. GREEK THETA SYMBOL
.. |vartriangleleft|                 unicode:: U+022B2 .. NORMAL SUBGROUP OF
.. |vartriangleright|                unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
.. |Vee|                             unicode:: U+022C1 .. N-ARY LOGICAL OR
.. |vee|                             unicode:: U+02228 .. LOGICAL OR
.. |Vert|                            unicode:: U+02016 .. DOUBLE VERTICAL LINE
.. |vert|                            unicode:: U+0007C .. VERTICAL LINE
.. |VerticalBar|                     unicode:: U+02223 .. DIVIDES
.. |VerticalTilde|                   unicode:: U+02240 .. WREATH PRODUCT
.. |VeryThinSpace|                   unicode:: U+0200A .. HAIR SPACE
.. |Wedge|                           unicode:: U+022C0 .. N-ARY LOGICAL AND
.. |wedge|                           unicode:: U+02227 .. LOGICAL AND
.. |wp|                              unicode:: U+02118 .. SCRIPT CAPITAL P
.. |wr|                              unicode:: U+02240 .. WREATH PRODUCT
.. |zeetrf|                          unicode:: U+02128 .. BLACK-LETTER CAPITAL Z