diff options
Diffstat (limited to 'Doc/sgml/iso/ISOamsr')
| -rw-r--r-- | Doc/sgml/iso/ISOamsr | 94 |
1 files changed, 94 insertions, 0 deletions
diff --git a/Doc/sgml/iso/ISOamsr b/Doc/sgml/iso/ISOamsr new file mode 100644 index 0000000..3f26c34 --- /dev/null +++ b/Doc/sgml/iso/ISOamsr @@ -0,0 +1,94 @@ +<!-- (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--> |