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.
6 <!-- Character entity set. Typical invocation:
7 <!ENTITY % ISOamsr PUBLIC
8 "ISO 8879:1986//ENTITIES Added Math Symbols: Relations//EN">
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-->