|
0
|
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-->
|
