.. 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