isoamsr.txt: Added Mathematical Symbols: Relations

Taken from reStructuredText Standard Definition Files.

.. include:: <isoamsr.txt>

Substitution	Symbol	unicode	Comment
|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