1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
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-->
|
