| Fred Drake | 6bcc53c | 1999-01-29 16:20:24 +0000 | [diff] [blame] | 1 | <!-- (C) International Organization for Standardization 1986 |
| 2 | Permission to copy in any form is granted for use with |
| 3 | conforming SGML systems and applications as defined in |
| 4 | ISO 8879, provided this notice is included in all copies. |
| 5 | --> |
| 6 | <!-- Character entity set. Typical invocation: |
| 7 | <!ENTITY % ISOamsr PUBLIC |
| 8 | "ISO 8879:1986//ENTITIES Added Math Symbols: Relations//EN"> |
| 9 | %ISOamsr; |
| 10 | --> |
| 11 | <!ENTITY ape SDATA "[ape ]"--/approxeq R: approximate, equals--> |
| 12 | <!ENTITY asymp SDATA "[asymp ]"--/asymp R: asymptotically equal to--> |
| 13 | <!ENTITY bcong SDATA "[bcong ]"--/backcong R: reverse congruent--> |
| 14 | <!ENTITY bepsi SDATA "[bepsi ]"--/backepsilon R: such that--> |
| 15 | <!ENTITY bowtie SDATA "[bowtie]"--/bowtie R:--> |
| 16 | <!ENTITY bsim SDATA "[bsim ]"--/backsim R: reverse similar--> |
| 17 | <!ENTITY bsime SDATA "[bsime ]"--/backsimeq R: reverse similar, eq--> |
| 18 | <!ENTITY bump SDATA "[bump ]"--/Bumpeq R: bumpy equals--> |
| 19 | <!ENTITY bumpe SDATA "[bumpe ]"--/bumpeq R: bumpy equals, equals--> |
| 20 | <!ENTITY cire SDATA "[cire ]"--/circeq R: circle, equals--> |
| 21 | <!ENTITY colone SDATA "[colone]"--/coloneq R: colon, equals--> |
| 22 | <!ENTITY cuepr SDATA "[cuepr ]"--/curlyeqprec R: curly eq, precedes--> |
| 23 | <!ENTITY cuesc SDATA "[cuesc ]"--/curlyeqsucc R: curly eq, succeeds--> |
| 24 | <!ENTITY cupre SDATA "[cupre ]"--/curlypreceq R: curly precedes, eq--> |
| 25 | <!ENTITY dashv SDATA "[dashv ]"--/dashv R: dash, vertical--> |
| 26 | <!ENTITY ecir SDATA "[ecir ]"--/eqcirc R: circle on equals sign--> |
| 27 | <!ENTITY ecolon SDATA "[ecolon]"--/eqcolon R: equals, colon--> |
| 28 | <!ENTITY eDot SDATA "[eDot ]"--/doteqdot /Doteq R: eq, even dots--> |
| 29 | <!ENTITY esdot SDATA "[esdot ]"--/doteq R: equals, single dot above--> |
| 30 | <!ENTITY efDot SDATA "[efDot ]"--/fallingdotseq R: eq, falling dots--> |
| 31 | <!ENTITY egs SDATA "[egs ]"--/eqslantgtr R: equal-or-gtr, slanted--> |
| 32 | <!ENTITY els SDATA "[els ]"--/eqslantless R: eq-or-less, slanted--> |
| 33 | <!ENTITY erDot SDATA "[erDot ]"--/risingdotseq R: eq, rising dots--> |
| 34 | <!ENTITY fork SDATA "[fork ]"--/pitchfork R: pitchfork--> |
| 35 | <!ENTITY frown SDATA "[frown ]"--/frown R: down curve--> |
| 36 | <!ENTITY gap SDATA "[gap ]"--/gtrapprox R: greater, approximate--> |
| 37 | <!ENTITY gsdot SDATA "[gsdot ]"--/gtrdot R: greater than, single dot--> |
| 38 | <!ENTITY gE SDATA "[gE ]"--/geqq R: greater, double equals--> |
| 39 | <!ENTITY gel SDATA "[gel ]"--/gtreqless R: greater, equals, less--> |
| 40 | <!ENTITY gEl SDATA "[gEl ]"--/gtreqqless R: gt, dbl equals, less--> |
| 41 | <!ENTITY ges SDATA "[ges ]"--/geqslant R: gt-or-equal, slanted--> |
| 42 | <!ENTITY Gg SDATA "[Gg ]"--/ggg /Gg /gggtr R: triple gtr-than--> |
| 43 | <!ENTITY gl SDATA "[gl ]"--/gtrless R: greater, less--> |
| 44 | <!ENTITY gsim SDATA "[gsim ]"--/gtrsim R: greater, similar--> |
| 45 | <!ENTITY Gt SDATA "[Gt ]"--/gg R: dbl greater-than sign--> |
| 46 | <!ENTITY lap SDATA "[lap ]"--/lessapprox R: less, approximate--> |
| 47 | <!ENTITY ldot SDATA "[ldot ]"--/lessdot R: less than, with dot--> |
| 48 | <!ENTITY lE SDATA "[lE ]"--/leqq R: less, double equals--> |
| 49 | <!ENTITY lEg SDATA "[lEg ]"--/lesseqqgtr R: less, dbl eq, greater--> |
| 50 | <!ENTITY leg SDATA "[leg ]"--/lesseqgtr R: less, eq, greater--> |
| 51 | <!ENTITY les SDATA "[les ]"--/leqslant R: less-than-or-eq, slant--> |
| 52 | <!ENTITY lg SDATA "[lg ]"--/lessgtr R: less, greater--> |
| 53 | <!ENTITY Ll SDATA "[Ll ]"--/Ll /lll /llless R: triple less-than--> |
| 54 | <!ENTITY lsim SDATA "[lsim ]"--/lesssim R: less, similar--> |
| 55 | <!ENTITY Lt SDATA "[Lt ]"--/ll R: double less-than sign--> |
| 56 | <!ENTITY ltrie SDATA "[ltrie ]"--/trianglelefteq R: left triangle, eq--> |
| 57 | <!ENTITY mid SDATA "[mid ]"--/mid R:--> |
| 58 | <!ENTITY models SDATA "[models]"--/models R:--> |
| 59 | <!ENTITY pr SDATA "[pr ]"--/prec R: precedes--> |
| 60 | <!ENTITY prap SDATA "[prap ]"--/precapprox R: precedes, approximate--> |
| 61 | <!ENTITY pre SDATA "[pre ]"--/preceq R: precedes, equals--> |
| 62 | <!ENTITY prsim SDATA "[prsim ]"--/precsim R: precedes, similar--> |
| 63 | <!ENTITY rtrie SDATA "[rtrie ]"--/trianglerighteq R: right tri, eq--> |
| 64 | <!ENTITY samalg SDATA "[samalg]"--/smallamalg R: small amalg--> |
| 65 | <!ENTITY sc SDATA "[sc ]"--/succ R: succeeds--> |
| 66 | <!ENTITY scap SDATA "[scap ]"--/succapprox R: succeeds, approximate--> |
| 67 | <!ENTITY sccue SDATA "[sccue ]"--/succcurlyeq R: succeeds, curly eq--> |
| 68 | <!ENTITY sce SDATA "[sce ]"--/succeq R: succeeds, equals--> |
| 69 | <!ENTITY scsim SDATA "[scsim ]"--/succsim R: succeeds, similar--> |
| 70 | <!ENTITY sfrown SDATA "[sfrown]"--/smallfrown R: small down curve--> |
| 71 | <!ENTITY smid SDATA "[smid ]"--/shortmid R:--> |
| 72 | <!ENTITY smile SDATA "[smile ]"--/smile R: up curve--> |
| 73 | <!ENTITY spar SDATA "[spar ]"--/shortparallel R: short parallel--> |
| 74 | <!ENTITY sqsub SDATA "[sqsub ]"--/sqsubset R: square subset--> |
| 75 | <!ENTITY sqsube SDATA "[sqsube]"--/sqsubseteq R: square subset, equals--> |
| 76 | <!ENTITY sqsup SDATA "[sqsup ]"--/sqsupset R: square superset--> |
| 77 | <!ENTITY sqsupe SDATA "[sqsupe]"--/sqsupseteq R: square superset, eq--> |
| 78 | <!ENTITY ssmile SDATA "[ssmile]"--/smallsmile R: small up curve--> |
| 79 | <!ENTITY Sub SDATA "[Sub ]"--/Subset R: double subset--> |
| 80 | <!ENTITY subE SDATA "[subE ]"--/subseteqq R: subset, dbl equals--> |
| 81 | <!ENTITY Sup SDATA "[Sup ]"--/Supset R: dbl superset--> |
| 82 | <!ENTITY supE SDATA "[supE ]"--/supseteqq R: superset, dbl equals--> |
| 83 | <!ENTITY thkap SDATA "[thkap ]"--/thickapprox R: thick approximate--> |
| 84 | <!ENTITY thksim SDATA "[thksim]"--/thicksim R: thick similar--> |
| 85 | <!ENTITY trie SDATA "[trie ]"--/triangleq R: triangle, equals--> |
| 86 | <!ENTITY twixt SDATA "[twixt ]"--/between R: between--> |
| 87 | <!ENTITY vdash SDATA "[vdash ]"--/vdash R: vertical, dash--> |
| 88 | <!ENTITY Vdash SDATA "[Vdash ]"--/Vdash R: dbl vertical, dash--> |
| 89 | <!ENTITY vDash SDATA "[vDash ]"--/vDash R: vertical, dbl dash--> |
| 90 | <!ENTITY veebar SDATA "[veebar]"--/veebar R: logical or, bar below--> |
| 91 | <!ENTITY vltri SDATA "[vltri ]"--/vartriangleleft R: l tri, open, var--> |
| 92 | <!ENTITY vprop SDATA "[vprop ]"--/varpropto R: proportional, variant--> |
| 93 | <!ENTITY vrtri SDATA "[vrtri ]"--/vartriangleright R: r tri, open, var--> |
| 94 | <!ENTITY Vvdash SDATA "[Vvdash]"--/Vvdash R: triple vertical, dash--> |