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