15.7. Symbols from isoamsr.txt : Mathematical Symbols: Relations

Docutils and restructured text symbols form isoamsr.txt Mathematical Symbols: Relations

Ensure your .rst file has this:

.. include:: <isoamsr.txt>

Symbols from isoamsr

Symbol	Display	Description
|apE|	⩰	APPROXIMATELY EQUAL OR EQUAL TO
|ape|	≊	ALMOST EQUAL OR EQUAL TO
|apid|	≋	TRIPLE TILDE
|asymp|	≈	ALMOST EQUAL TO
|Barv|	⫧	SHORT DOWN TACK WITH OVERBAR
|bcong|	≌	ALL EQUAL TO
|bepsi|	϶	GREEK REVERSED LUNATE EPSILON SYMBOL
|bowtie|	⋈	BOWTIE
|bsim|	∽	REVERSED TILDE
|bsime|	⋍	REVERSED TILDE EQUALS
|bsolhsub|	\⊂	REVERSE SOLIDUS, SUBSET OF
|bump|	≎	GEOMETRICALLY EQUIVALENT TO
|bumpE|	⪮	EQUALS SIGN WITH BUMPY ABOVE
|bumpe|	≏	DIFFERENCE BETWEEN
|cire|	≗	RING EQUAL TO
|Colon|	∷	PROPORTION
|Colone|	⩴	DOUBLE COLON EQUAL
|colone|	≔	COLON EQUALS
|congdot|	⩭	CONGRUENT WITH DOT ABOVE
|csub|	⫏	CLOSED SUBSET
|csube|	⫑	CLOSED SUBSET OR EQUAL TO
|csup|	⫐	CLOSED SUPERSET
|csupe|	⫒	CLOSED SUPERSET OR EQUAL TO
|cuepr|	⋞	EQUAL TO OR PRECEDES
|cuesc|	⋟	EQUAL TO OR SUCCEEDS
|cupre|	≼	PRECEDES OR EQUAL TO
|Dashv|	⫤	VERTICAL BAR DOUBLE LEFT TURNSTILE
|dashv|	⊣	LEFT TACK
|easter|	⩮	EQUALS WITH ASTERISK
|ecir|	≖	RING IN EQUAL TO
|ecolon|	≕	EQUALS COLON
|eDDot|	⩷	EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
|eDot|	≑	GEOMETRICALLY EQUAL TO
|efDot|	≒	APPROXIMATELY EQUAL TO OR THE IMAGE OF
|eg|	⪚	DOUBLE-LINE EQUAL TO OR GREATER-THAN
|egs|	⪖	SLANTED EQUAL TO OR GREATER-THAN
|egsdot|	⪘	SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
|el|	⪙	DOUBLE-LINE EQUAL TO OR LESS-THAN
|els|	⪕	SLANTED EQUAL TO OR LESS-THAN
|elsdot|	⪗	SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
|equest|	≟	QUESTIONED EQUAL TO
|equivDD|	⩸	EQUIVALENT WITH FOUR DOTS ABOVE
|erDot|	≓	IMAGE OF OR APPROXIMATELY EQUAL TO
|esdot|	≐	APPROACHES THE LIMIT
|Esim|	⩳	EQUALS SIGN ABOVE TILDE OPERATOR
|esim|	≂	MINUS TILDE
|fork|	⋔	PITCHFORK
|forkv|	⫙	ELEMENT OF OPENING DOWNWARDS
|frown|	⌢	FROWN
|gap|	⪆	GREATER-THAN OR APPROXIMATE
|gE|	≧	GREATER-THAN OVER EQUAL TO
|gEl|	⪌	GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
|gel|	⋛	GREATER-THAN EQUAL TO OR LESS-THAN
|ges|	⩾	GREATER-THAN OR SLANTED EQUAL TO
|gescc|	⪩	GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
|gesdot|	⪀	GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
|gesdoto|	⪂	GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
|gesdotol|	⪄	GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
|gesl|	⋛︀	GREATER-THAN slanted EQUAL TO OR LESS-THAN
|gesles|	⪔	GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
|Gg|	⋙	VERY MUCH GREATER-THAN
|gl|	≷	GREATER-THAN OR LESS-THAN
|gla|	⪥	GREATER-THAN BESIDE LESS-THAN
|glE|	⪒	GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
|glj|	⪤	GREATER-THAN OVERLAPPING LESS-THAN
|gsdot|	⋗	GREATER-THAN WITH DOT
|gsim|	≳	GREATER-THAN OR EQUIVALENT TO
|gsime|	⪎	GREATER-THAN ABOVE SIMILAR OR EQUAL
|gsiml|	⪐	GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
|Gt|	≫	MUCH GREATER-THAN
|gtcc|	⪧	GREATER-THAN CLOSED BY CURVE
|gtcir|	⩺	GREATER-THAN WITH CIRCLE INSIDE
|gtdot|	⋗	GREATER-THAN WITH DOT
|gtquest|	⩼	GREATER-THAN WITH QUESTION MARK ABOVE
|gtrarr|	⥸	GREATER-THAN ABOVE RIGHTWARDS ARROW
|homtht|	∻	HOMOTHETIC
|lap|	⪅	LESS-THAN OR APPROXIMATE
|lat|	⪫	LARGER THAN
|late|	⪭	LARGER THAN OR EQUAL TO
|lates|	⪭︀	LARGER THAN OR slanted EQUAL
|ldot|	⋖	LESS-THAN WITH DOT
|lE|	≦	LESS-THAN OVER EQUAL TO
|lEg|	⪋	LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
|leg|	⋚	LESS-THAN EQUAL TO OR GREATER-THAN
|les|	⩽	LESS-THAN OR SLANTED EQUAL TO
|lescc|	⪨	LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
|lesdot|	⩿	LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
|lesdoto|	⪁	LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
|lesdotor|	⪃	LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
|lesg|	⋚︀	LESS-THAN slanted EQUAL TO OR GREATER-THAN
|lesges|	⪓	LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
|lg|	≶	LESS-THAN OR GREATER-THAN
|lgE|	⪑	LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
|Ll|	⋘	VERY MUCH LESS-THAN
|lsim|	≲	LESS-THAN OR EQUIVALENT TO
|lsime|	⪍	LESS-THAN ABOVE SIMILAR OR EQUAL
|lsimg|	⪏	LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
|Lt|	≪	MUCH LESS-THAN
|ltcc|	⪦	LESS-THAN CLOSED BY CURVE
|ltcir|	⩹	LESS-THAN WITH CIRCLE INSIDE
|ltdot|	⋖	LESS-THAN WITH DOT
|ltlarr|	⥶	LESS-THAN ABOVE LEFTWARDS ARROW
|ltquest|	⩻	LESS-THAN WITH QUESTION MARK ABOVE
|ltrie|	⊴	NORMAL SUBGROUP OF OR EQUAL TO
|mcomma|	⨩	MINUS SIGN WITH COMMA ABOVE
|mDDot|	∺	GEOMETRIC PROPORTION
|mid|	∣	DIVIDES
|mlcp|	⫛	TRANSVERSAL INTERSECTION
|models|	⊧	MODELS
|mstpos|	∾	INVERTED LAZY S
|Pr|	⪻	DOUBLE PRECEDES
|pr|	≺	PRECEDES
|prap|	⪷	PRECEDES ABOVE ALMOST EQUAL TO
|prcue|	≼	PRECEDES OR EQUAL TO
|prE|	⪳	PRECEDES ABOVE EQUALS SIGN
|pre|	⪯	PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
|prsim|	≾	PRECEDES OR EQUIVALENT TO
|prurel|	⊰	PRECEDES UNDER RELATION
|ratio|	∶	RATIO
|rtrie|	⊵	CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
|rtriltri|	⧎	RIGHT TRIANGLE ABOVE LEFT TRIANGLE
|samalg|	∐	N-ARY COPRODUCT
|Sc|	⪼	DOUBLE SUCCEEDS
|sc|	≻	SUCCEEDS
|scap|	⪸	SUCCEEDS ABOVE ALMOST EQUAL TO
|sccue|	≽	SUCCEEDS OR EQUAL TO
|scE|	⪴	SUCCEEDS ABOVE EQUALS SIGN
|sce|	⪰	SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
|scsim|	≿	SUCCEEDS OR EQUIVALENT TO
|sdote|	⩦	EQUALS SIGN WITH DOT BELOW
|sfrown|	⌢	FROWN
|simg|	⪞	SIMILAR OR GREATER-THAN
|simgE|	⪠	SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
|siml|	⪝	SIMILAR OR LESS-THAN
|simlE|	⪟	SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
|smid|	∣	DIVIDES
|smile|	⌣	SMILE
|smt|	⪪	SMALLER THAN
|smte|	⪬	SMALLER THAN OR EQUAL TO
|smtes|	⪬︀	SMALLER THAN OR slanted EQUAL
|spar|	∥	PARALLEL TO
|sqsub|	⊏	SQUARE IMAGE OF
|sqsube|	⊑	SQUARE IMAGE OF OR EQUAL TO
|sqsup|	⊐	SQUARE ORIGINAL OF
|sqsupe|	⊒	SQUARE ORIGINAL OF OR EQUAL TO
|ssmile|	⌣	SMILE
|Sub|	⋐	DOUBLE SUBSET
|subE|	⫅	SUBSET OF ABOVE EQUALS SIGN
|subedot|	⫃	SUBSET OF OR EQUAL TO WITH DOT ABOVE
|submult|	⫁	SUBSET WITH MULTIPLICATION SIGN BELOW
|subplus|	⪿	SUBSET WITH PLUS SIGN BELOW
|subrarr|	⥹	SUBSET ABOVE RIGHTWARDS ARROW
|subsim|	⫇	SUBSET OF ABOVE TILDE OPERATOR
|subsub|	⫕	SUBSET ABOVE SUBSET
|subsup|	⫓	SUBSET ABOVE SUPERSET
|Sup|	⋑	DOUBLE SUPERSET
|supdsub|	⫘	SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
|supE|	⫆	SUPERSET OF ABOVE EQUALS SIGN
|supedot|	⫄	SUPERSET OF OR EQUAL TO WITH DOT ABOVE
|suphsol|	⊃/	SUPERSET OF, SOLIDUS
|suphsub|	⫗	SUPERSET BESIDE SUBSET
|suplarr|	⥻	SUPERSET ABOVE LEFTWARDS ARROW
|supmult|	⫂	SUPERSET WITH MULTIPLICATION SIGN BELOW
|supplus|	⫀	SUPERSET WITH PLUS SIGN BELOW
|supsim|	⫈	SUPERSET OF ABOVE TILDE OPERATOR
|supsub|	⫔	SUPERSET ABOVE SUBSET
|supsup|	⫖	SUPERSET ABOVE SUPERSET
|thkap|	≈	ALMOST EQUAL TO
|thksim|	∼	TILDE OPERATOR
|topfork|	⫚	PITCHFORK WITH TEE TOP
|trie|	≜	DELTA EQUAL TO
|twixt|	≬	BETWEEN
|Vbar|	⫫	DOUBLE UP TACK
|vBar|	⫨	SHORT UP TACK WITH UNDERBAR
|vBarv|	⫩	SHORT UP TACK ABOVE SHORT DOWN TACK
|VDash|	⊫	DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
|Vdash|	⊩	FORCES
|vDash|	⊨	TRUE
|vdash|	⊢	RIGHT TACK
|Vdashl|	⫦	LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
|veebar|	⊻	XOR
|vltri|	⊲	NORMAL SUBGROUP OF
|vprop|	∝	PROPORTIONAL TO
|vrtri|	⊳	CONTAINS AS NORMAL SUBGROUP
|Vvdash|	⊪	TRIPLE VERTICAL BAR RIGHT TURNSTILE