.. 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>.
.. |apE| unicode:: U+02A70 .. APPROXIMATELY EQUAL OR EQUAL TO
.. |ape| unicode:: U+0224A .. ALMOST EQUAL OR EQUAL TO
.. |apid| unicode:: U+0224B .. TRIPLE TILDE
.. |asymp| unicode:: U+02248 .. ALMOST EQUAL TO
.. |Barv| unicode:: U+02AE7 .. SHORT DOWN TACK WITH OVERBAR
.. |bcong| unicode:: U+0224C .. ALL EQUAL TO
.. |bepsi| unicode:: U+003F6 .. GREEK REVERSED LUNATE EPSILON SYMBOL
.. |bowtie| unicode:: U+022C8 .. BOWTIE
.. |bsim| unicode:: U+0223D .. REVERSED TILDE
.. |bsime| unicode:: U+022CD .. REVERSED TILDE EQUALS
.. |bsolhsub| unicode:: U+0005C U+02282 .. REVERSE SOLIDUS, SUBSET OF
.. |bump| unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
.. |bumpE| unicode:: U+02AAE .. EQUALS SIGN WITH BUMPY ABOVE
.. |bumpe| unicode:: U+0224F .. DIFFERENCE BETWEEN
.. |cire| unicode:: U+02257 .. RING EQUAL TO
.. |Colon| unicode:: U+02237 .. PROPORTION
.. |Colone| unicode:: U+02A74 .. DOUBLE COLON EQUAL
.. |colone| unicode:: U+02254 .. COLON EQUALS
.. |congdot| unicode:: U+02A6D .. CONGRUENT WITH DOT ABOVE
.. |csub| unicode:: U+02ACF .. CLOSED SUBSET
.. |csube| unicode:: U+02AD1 .. CLOSED SUBSET OR EQUAL TO
.. |csup| unicode:: U+02AD0 .. CLOSED SUPERSET
.. |csupe| unicode:: U+02AD2 .. CLOSED SUPERSET OR EQUAL TO
.. |cuepr| unicode:: U+022DE .. EQUAL TO OR PRECEDES
.. |cuesc| unicode:: U+022DF .. EQUAL TO OR SUCCEEDS
.. |cupre| unicode:: U+0227C .. PRECEDES OR EQUAL TO
.. |Dashv| unicode:: U+02AE4 .. VERTICAL BAR DOUBLE LEFT TURNSTILE
.. |dashv| unicode:: U+022A3 .. LEFT TACK
.. |easter| unicode:: U+02A6E .. EQUALS WITH ASTERISK
.. |ecir| unicode:: U+02256 .. RING IN EQUAL TO
.. |ecolon| unicode:: U+02255 .. EQUALS COLON
.. |eDDot| unicode:: U+02A77 .. EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
.. |eDot| unicode:: U+02251 .. GEOMETRICALLY EQUAL TO
.. |efDot| unicode:: U+02252 .. APPROXIMATELY EQUAL TO OR THE IMAGE OF
.. |eg| unicode:: U+02A9A .. DOUBLE-LINE EQUAL TO OR GREATER-THAN
.. |egs| unicode:: U+02A96 .. SLANTED EQUAL TO OR GREATER-THAN
.. |egsdot| unicode:: U+02A98 .. SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
.. |el| unicode:: U+02A99 .. DOUBLE-LINE EQUAL TO OR LESS-THAN
.. |els| unicode:: U+02A95 .. SLANTED EQUAL TO OR LESS-THAN
.. |elsdot| unicode:: U+02A97 .. SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
.. |equest| unicode:: U+0225F .. QUESTIONED EQUAL TO
.. |equivDD| unicode:: U+02A78 .. EQUIVALENT WITH FOUR DOTS ABOVE
.. |erDot| unicode:: U+02253 .. IMAGE OF OR APPROXIMATELY EQUAL TO
.. |esdot| unicode:: U+02250 .. APPROACHES THE LIMIT
.. |Esim| unicode:: U+02A73 .. EQUALS SIGN ABOVE TILDE OPERATOR
.. |esim| unicode:: U+02242 .. MINUS TILDE
.. |fork| unicode:: U+022D4 .. PITCHFORK
.. |forkv| unicode:: U+02AD9 .. ELEMENT OF OPENING DOWNWARDS
.. |frown| unicode:: U+02322 .. FROWN
.. |gap| unicode:: U+02A86 .. GREATER-THAN OR APPROXIMATE
.. |gE| unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
.. |gEl| unicode:: U+02A8C .. GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
.. |gel| unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
.. |ges| unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
.. |gescc| unicode:: U+02AA9 .. GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
.. |gesdot| unicode:: U+02A80 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
.. |gesdoto| unicode:: U+02A82 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
.. |gesdotol| unicode:: U+02A84 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
.. |gesl| unicode:: U+022DB U+0FE00 .. GREATER-THAN slanted EQUAL TO OR LESS-THAN
.. |gesles| unicode:: U+02A94 .. GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
.. |Gg| unicode:: U+022D9 .. VERY MUCH GREATER-THAN
.. |gl| unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
.. |gla| unicode:: U+02AA5 .. GREATER-THAN BESIDE LESS-THAN
.. |glE| unicode:: U+02A92 .. GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
.. |glj| unicode:: U+02AA4 .. GREATER-THAN OVERLAPPING LESS-THAN
.. |gsdot| unicode:: U+022D7 .. GREATER-THAN WITH DOT
.. |gsim| unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
.. |gsime| unicode:: U+02A8E .. GREATER-THAN ABOVE SIMILAR OR EQUAL
.. |gsiml| unicode:: U+02A90 .. GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
.. |Gt| unicode:: U+0226B .. MUCH GREATER-THAN
.. |gtcc| unicode:: U+02AA7 .. GREATER-THAN CLOSED BY CURVE
.. |gtcir| unicode:: U+02A7A .. GREATER-THAN WITH CIRCLE INSIDE
.. |gtdot| unicode:: U+022D7 .. GREATER-THAN WITH DOT
.. |gtquest| unicode:: U+02A7C .. GREATER-THAN WITH QUESTION MARK ABOVE
.. |gtrarr| unicode:: U+02978 .. GREATER-THAN ABOVE RIGHTWARDS ARROW
.. |homtht| unicode:: U+0223B .. HOMOTHETIC
.. |lap| unicode:: U+02A85 .. LESS-THAN OR APPROXIMATE
.. |lat| unicode:: U+02AAB .. LARGER THAN
.. |late| unicode:: U+02AAD .. LARGER THAN OR EQUAL TO
.. |lates| unicode:: U+02AAD U+0FE00 .. LARGER THAN OR slanted EQUAL
.. |ldot| unicode:: U+022D6 .. LESS-THAN WITH DOT
.. |lE| unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
.. |lEg| unicode:: U+02A8B .. LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
.. |leg| unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
.. |les| unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
.. |lescc| unicode:: U+02AA8 .. LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
.. |lesdot| unicode:: U+02A7F .. LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
.. |lesdoto| unicode:: U+02A81 .. LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
.. |lesdotor| unicode:: U+02A83 .. LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
.. |lesg| unicode:: U+022DA U+0FE00 .. LESS-THAN slanted EQUAL TO OR GREATER-THAN
.. |lesges| unicode:: U+02A93 .. LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
.. |lg| unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
.. |lgE| unicode:: U+02A91 .. LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
.. |Ll| unicode:: U+022D8 .. VERY MUCH LESS-THAN
.. |lsim| unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
.. |lsime| unicode:: U+02A8D .. LESS-THAN ABOVE SIMILAR OR EQUAL
.. |lsimg| unicode:: U+02A8F .. LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
.. |Lt| unicode:: U+0226A .. MUCH LESS-THAN
.. |ltcc| unicode:: U+02AA6 .. LESS-THAN CLOSED BY CURVE
.. |ltcir| unicode:: U+02A79 .. LESS-THAN WITH CIRCLE INSIDE
.. |ltdot| unicode:: U+022D6 .. LESS-THAN WITH DOT
.. |ltlarr| unicode:: U+02976 .. LESS-THAN ABOVE LEFTWARDS ARROW
.. |ltquest| unicode:: U+02A7B .. LESS-THAN WITH QUESTION MARK ABOVE
.. |ltrie| unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
.. |mcomma| unicode:: U+02A29 .. MINUS SIGN WITH COMMA ABOVE
.. |mDDot| unicode:: U+0223A .. GEOMETRIC PROPORTION
.. |mid| unicode:: U+02223 .. DIVIDES
.. |mlcp| unicode:: U+02ADB .. TRANSVERSAL INTERSECTION
.. |models| unicode:: U+022A7 .. MODELS
.. |mstpos| unicode:: U+0223E .. INVERTED LAZY S
.. |Pr| unicode:: U+02ABB .. DOUBLE PRECEDES
.. |pr| unicode:: U+0227A .. PRECEDES
.. |prap| unicode:: U+02AB7 .. PRECEDES ABOVE ALMOST EQUAL TO
.. |prcue| unicode:: U+0227C .. PRECEDES OR EQUAL TO
.. |prE| unicode:: U+02AB3 .. PRECEDES ABOVE EQUALS SIGN
.. |pre| unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
.. |prsim| unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
.. |prurel| unicode:: U+022B0 .. PRECEDES UNDER RELATION
.. |ratio| unicode:: U+02236 .. RATIO
.. |rtrie| unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
.. |rtriltri| unicode:: U+029CE .. RIGHT TRIANGLE ABOVE LEFT TRIANGLE
.. |samalg| unicode:: U+02210 .. N-ARY COPRODUCT
.. |Sc| unicode:: U+02ABC .. DOUBLE SUCCEEDS
.. |sc| unicode:: U+0227B .. SUCCEEDS
.. |scap| unicode:: U+02AB8 .. SUCCEEDS ABOVE ALMOST EQUAL TO
.. |sccue| unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
.. |scE| unicode:: U+02AB4 .. SUCCEEDS ABOVE EQUALS SIGN
.. |sce| unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
.. |scsim| unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
.. |sdote| unicode:: U+02A66 .. EQUALS SIGN WITH DOT BELOW
.. |sfrown| unicode:: U+02322 .. FROWN
.. |simg| unicode:: U+02A9E .. SIMILAR OR GREATER-THAN
.. |simgE| unicode:: U+02AA0 .. SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
.. |siml| unicode:: U+02A9D .. SIMILAR OR LESS-THAN
.. |simlE| unicode:: U+02A9F .. SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
.. |smid| unicode:: U+02223 .. DIVIDES
.. |smile| unicode:: U+02323 .. SMILE
.. |smt| unicode:: U+02AAA .. SMALLER THAN
.. |smte| unicode:: U+02AAC .. SMALLER THAN OR EQUAL TO
.. |smtes| unicode:: U+02AAC U+0FE00 .. SMALLER THAN OR slanted EQUAL
.. |spar| unicode:: U+02225 .. PARALLEL TO
.. |sqsub| unicode:: U+0228F .. SQUARE IMAGE OF
.. |sqsube| unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
.. |sqsup| unicode:: U+02290 .. SQUARE ORIGINAL OF
.. |sqsupe| unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
.. |ssmile| unicode:: U+02323 .. SMILE
.. |Sub| unicode:: U+022D0 .. DOUBLE SUBSET
.. |subE| unicode:: U+02AC5 .. SUBSET OF ABOVE EQUALS SIGN
.. |subedot| unicode:: U+02AC3 .. SUBSET OF OR EQUAL TO WITH DOT ABOVE
.. |submult| unicode:: U+02AC1 .. SUBSET WITH MULTIPLICATION SIGN BELOW
.. |subplus| unicode:: U+02ABF .. SUBSET WITH PLUS SIGN BELOW
.. |subrarr| unicode:: U+02979 .. SUBSET ABOVE RIGHTWARDS ARROW
.. |subsim| unicode:: U+02AC7 .. SUBSET OF ABOVE TILDE OPERATOR
.. |subsub| unicode:: U+02AD5 .. SUBSET ABOVE SUBSET
.. |subsup| unicode:: U+02AD3 .. SUBSET ABOVE SUPERSET
.. |Sup| unicode:: U+022D1 .. DOUBLE SUPERSET
.. |supdsub| unicode:: U+02AD8 .. SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
.. |supE| unicode:: U+02AC6 .. SUPERSET OF ABOVE EQUALS SIGN
.. |supedot| unicode:: U+02AC4 .. SUPERSET OF OR EQUAL TO WITH DOT ABOVE
.. |suphsol| unicode:: U+02283 U+0002F .. SUPERSET OF, SOLIDUS
.. |suphsub| unicode:: U+02AD7 .. SUPERSET BESIDE SUBSET
.. |suplarr| unicode:: U+0297B .. SUPERSET ABOVE LEFTWARDS ARROW
.. |supmult| unicode:: U+02AC2 .. SUPERSET WITH MULTIPLICATION SIGN BELOW
.. |supplus| unicode:: U+02AC0 .. SUPERSET WITH PLUS SIGN BELOW
.. |supsim| unicode:: U+02AC8 .. SUPERSET OF ABOVE TILDE OPERATOR
.. |supsub| unicode:: U+02AD4 .. SUPERSET ABOVE SUBSET
.. |supsup| unicode:: U+02AD6 .. SUPERSET ABOVE SUPERSET
.. |thkap| unicode:: U+02248 .. ALMOST EQUAL TO
.. |thksim| unicode:: U+0223C .. TILDE OPERATOR
.. |topfork| unicode:: U+02ADA .. PITCHFORK WITH TEE TOP
.. |trie| unicode:: U+0225C .. DELTA EQUAL TO
.. |twixt| unicode:: U+0226C .. BETWEEN
.. |Vbar| unicode:: U+02AEB .. DOUBLE UP TACK
.. |vBar| unicode:: U+02AE8 .. SHORT UP TACK WITH UNDERBAR
.. |vBarv| unicode:: U+02AE9 .. SHORT UP TACK ABOVE SHORT DOWN TACK
.. |VDash| unicode:: U+022AB .. DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
.. |Vdash| unicode:: U+022A9 .. FORCES
.. |vDash| unicode:: U+022A8 .. TRUE
.. |vdash| unicode:: U+022A2 .. RIGHT TACK
.. |Vdashl| unicode:: U+02AE6 .. LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
.. |veebar| unicode:: U+022BB .. XOR
.. |vltri| unicode:: U+022B2 .. NORMAL SUBGROUP OF
.. |vprop| unicode:: U+0221D .. PROPORTIONAL TO
.. |vrtri| unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
.. |Vvdash| unicode:: U+022AA .. TRIPLE VERTICAL BAR RIGHT TURNSTILE