95 lines
5.9 KiB
Plaintext
95 lines
5.9 KiB
Plaintext
<!-- (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-->
|