.. 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: <https://docutils.sourceforge.io>. .. |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