| <!-- (C) International Organization for Standardization 1986 |
| Permission to copy in any form is granted for use with |
| conforming SGML systems and applications as defined in |
| ISO 8879, provided this notice is included in all copies. |
| --> |
| <!-- Character entity set. Typical invocation: |
| <!ENTITY % ISOamsr PUBLIC |
| "ISO 8879:1986//ENTITIES Added Math Symbols: Relations//EN"> |
| %ISOamsr; |
| --> |
| <!ENTITY ape SDATA "[ape ]"--/approxeq R: approximate, equals--> |
| <!ENTITY asymp SDATA "[asymp ]"--/asymp R: asymptotically equal to--> |
| <!ENTITY bcong SDATA "[bcong ]"--/backcong R: reverse congruent--> |
| <!ENTITY bepsi SDATA "[bepsi ]"--/backepsilon R: such that--> |
| <!ENTITY bowtie SDATA "[bowtie]"--/bowtie R:--> |
| <!ENTITY bsim SDATA "[bsim ]"--/backsim R: reverse similar--> |
| <!ENTITY bsime SDATA "[bsime ]"--/backsimeq R: reverse similar, eq--> |
| <!ENTITY bump SDATA "[bump ]"--/Bumpeq R: bumpy equals--> |
| <!ENTITY bumpe SDATA "[bumpe ]"--/bumpeq R: bumpy equals, equals--> |
| <!ENTITY cire SDATA "[cire ]"--/circeq R: circle, equals--> |
| <!ENTITY colone SDATA "[colone]"--/coloneq R: colon, equals--> |
| <!ENTITY cuepr SDATA "[cuepr ]"--/curlyeqprec R: curly eq, precedes--> |
| <!ENTITY cuesc SDATA "[cuesc ]"--/curlyeqsucc R: curly eq, succeeds--> |
| <!ENTITY cupre SDATA "[cupre ]"--/curlypreceq R: curly precedes, eq--> |
| <!ENTITY dashv SDATA "[dashv ]"--/dashv R: dash, vertical--> |
| <!ENTITY ecir SDATA "[ecir ]"--/eqcirc R: circle on equals sign--> |
| <!ENTITY ecolon SDATA "[ecolon]"--/eqcolon R: equals, colon--> |
| <!ENTITY eDot SDATA "[eDot ]"--/doteqdot /Doteq R: eq, even dots--> |
| <!ENTITY esdot SDATA "[esdot ]"--/doteq R: equals, single dot above--> |
| <!ENTITY efDot SDATA "[efDot ]"--/fallingdotseq R: eq, falling dots--> |
| <!ENTITY egs SDATA "[egs ]"--/eqslantgtr R: equal-or-gtr, slanted--> |
| <!ENTITY els SDATA "[els ]"--/eqslantless R: eq-or-less, slanted--> |
| <!ENTITY erDot SDATA "[erDot ]"--/risingdotseq R: eq, rising dots--> |
| <!ENTITY fork SDATA "[fork ]"--/pitchfork R: pitchfork--> |
| <!ENTITY frown SDATA "[frown ]"--/frown R: down curve--> |
| <!ENTITY gap SDATA "[gap ]"--/gtrapprox R: greater, approximate--> |
| <!ENTITY gsdot SDATA "[gsdot ]"--/gtrdot R: greater than, single dot--> |
| <!ENTITY gE SDATA "[gE ]"--/geqq R: greater, double equals--> |
| <!ENTITY gel SDATA "[gel ]"--/gtreqless R: greater, equals, less--> |
| <!ENTITY gEl SDATA "[gEl ]"--/gtreqqless R: gt, dbl equals, less--> |
| <!ENTITY ges SDATA "[ges ]"--/geqslant R: gt-or-equal, slanted--> |
| <!ENTITY Gg SDATA "[Gg ]"--/ggg /Gg /gggtr R: triple gtr-than--> |
| <!ENTITY gl SDATA "[gl ]"--/gtrless R: greater, less--> |
| <!ENTITY gsim SDATA "[gsim ]"--/gtrsim R: greater, similar--> |
| <!ENTITY Gt SDATA "[Gt ]"--/gg R: dbl greater-than sign--> |
| <!ENTITY lap SDATA "[lap ]"--/lessapprox R: less, approximate--> |
| <!ENTITY ldot SDATA "[ldot ]"--/lessdot R: less than, with dot--> |
| <!ENTITY lE SDATA "[lE ]"--/leqq R: less, double equals--> |
| <!ENTITY lEg SDATA "[lEg ]"--/lesseqqgtr R: less, dbl eq, greater--> |
| <!ENTITY leg SDATA "[leg ]"--/lesseqgtr R: less, eq, greater--> |
| <!ENTITY les SDATA "[les ]"--/leqslant R: less-than-or-eq, slant--> |
| <!ENTITY lg SDATA "[lg ]"--/lessgtr R: less, greater--> |
| <!ENTITY Ll SDATA "[Ll ]"--/Ll /lll /llless R: triple less-than--> |
| <!ENTITY lsim SDATA "[lsim ]"--/lesssim R: less, similar--> |
| <!ENTITY Lt SDATA "[Lt ]"--/ll R: double less-than sign--> |
| <!ENTITY ltrie SDATA "[ltrie ]"--/trianglelefteq R: left triangle, eq--> |
| <!ENTITY mid SDATA "[mid ]"--/mid R:--> |
| <!ENTITY models SDATA "[models]"--/models R:--> |
| <!ENTITY pr SDATA "[pr ]"--/prec R: precedes--> |
| <!ENTITY prap SDATA "[prap ]"--/precapprox R: precedes, approximate--> |
| <!ENTITY pre SDATA "[pre ]"--/preceq R: precedes, equals--> |
| <!ENTITY prsim SDATA "[prsim ]"--/precsim R: precedes, similar--> |
| <!ENTITY rtrie SDATA "[rtrie ]"--/trianglerighteq R: right tri, eq--> |
| <!ENTITY samalg SDATA "[samalg]"--/smallamalg R: small amalg--> |
| <!ENTITY sc SDATA "[sc ]"--/succ R: succeeds--> |
| <!ENTITY scap SDATA "[scap ]"--/succapprox R: succeeds, approximate--> |
| <!ENTITY sccue SDATA "[sccue ]"--/succcurlyeq R: succeeds, curly eq--> |
| <!ENTITY sce SDATA "[sce ]"--/succeq R: succeeds, equals--> |
| <!ENTITY scsim SDATA "[scsim ]"--/succsim R: succeeds, similar--> |
| <!ENTITY sfrown SDATA "[sfrown]"--/smallfrown R: small down curve--> |
| <!ENTITY smid SDATA "[smid ]"--/shortmid R:--> |
| <!ENTITY smile SDATA "[smile ]"--/smile R: up curve--> |
| <!ENTITY spar SDATA "[spar ]"--/shortparallel R: short parallel--> |
| <!ENTITY sqsub SDATA "[sqsub ]"--/sqsubset R: square subset--> |
| <!ENTITY sqsube SDATA "[sqsube]"--/sqsubseteq R: square subset, equals--> |
| <!ENTITY sqsup SDATA "[sqsup ]"--/sqsupset R: square superset--> |
| <!ENTITY sqsupe SDATA "[sqsupe]"--/sqsupseteq R: square superset, eq--> |
| <!ENTITY ssmile SDATA "[ssmile]"--/smallsmile R: small up curve--> |
| <!ENTITY Sub SDATA "[Sub ]"--/Subset R: double subset--> |
| <!ENTITY subE SDATA "[subE ]"--/subseteqq R: subset, dbl equals--> |
| <!ENTITY Sup SDATA "[Sup ]"--/Supset R: dbl superset--> |
| <!ENTITY supE SDATA "[supE ]"--/supseteqq R: superset, dbl equals--> |
| <!ENTITY thkap SDATA "[thkap ]"--/thickapprox R: thick approximate--> |
| <!ENTITY thksim SDATA "[thksim]"--/thicksim R: thick similar--> |
| <!ENTITY trie SDATA "[trie ]"--/triangleq R: triangle, equals--> |
| <!ENTITY twixt SDATA "[twixt ]"--/between R: between--> |
| <!ENTITY vdash SDATA "[vdash ]"--/vdash R: vertical, dash--> |
| <!ENTITY Vdash SDATA "[Vdash ]"--/Vdash R: dbl vertical, dash--> |
| <!ENTITY vDash SDATA "[vDash ]"--/vDash R: vertical, dbl dash--> |
| <!ENTITY veebar SDATA "[veebar]"--/veebar R: logical or, bar below--> |
| <!ENTITY vltri SDATA "[vltri ]"--/vartriangleleft R: l tri, open, var--> |
| <!ENTITY vprop SDATA "[vprop ]"--/varpropto R: proportional, variant--> |
| <!ENTITY vrtri SDATA "[vrtri ]"--/vartriangleright R: r tri, open, var--> |
| <!ENTITY Vvdash SDATA "[Vvdash]"--/Vvdash R: triple vertical, dash--> |