1 <!-- iso-amsr.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
3 <!-- Derived from the corresponding ISO 8879 standard entity set
4 and the Unicode character mappings provided by Sebastian Rahtz.
5 With additional derivations from
6 ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
8 <!ENTITY ape "≊"> <!-- -->
9 <!ENTITY asymp "≍"> <!-- EQUIVALENT TO -->
10 <!ENTITY bcong "≌"> <!-- ALL EQUAL TO -->
11 <!ENTITY bepsi "∍"> <!-- SMALL CONTAINS AS MEMBER -->
12 <!ENTITY bowtie "⋈"> <!-- -->
13 <!ENTITY bsim "∽"> <!-- -->
14 <!ENTITY bsime "⋍"> <!-- -->
15 <!ENTITY bump "≎"> <!-- -->
16 <!ENTITY bumpe "≏"> <!-- -->
17 <!ENTITY cire "≗"> <!-- -->
18 <!ENTITY colone "≔"> <!-- -->
19 <!ENTITY cuepr "⋞"> <!-- -->
20 <!ENTITY cuesc "⋟"> <!-- -->
21 <!ENTITY cupre "≼"> <!-- -->
22 <!ENTITY dashv "⊣"> <!-- -->
23 <!ENTITY ecir "≖"> <!-- -->
24 <!ENTITY ecolon "≕"> <!-- -->
25 <!ENTITY eDot "≑"> <!-- -->
26 <!ENTITY esdot "≐"> <!-- -->
27 <!ENTITY efDot "≒"> <!-- -->
28 <!ENTITY egs "⋝"> <!-- -->
29 <!ENTITY els "⋜"> <!-- -->
30 <!ENTITY erDot "≓"> <!-- -->
31 <!ENTITY fork "⋔"> <!-- -->
32 <!ENTITY frown "⌢"> <!-- -->
33 <!ENTITY gap "≳"> <!-- GREATER-THAN OR EQUIVALENT TO -->
34 <!ENTITY gsdot "⋗"> <!-- -->
35 <!ENTITY gE "≧"> <!-- -->
36 <!ENTITY gel "⋛"> <!-- -->
37 <!ENTITY gEl "⋛"> <!-- -->
38 <!ENTITY ges "≥"> <!-- GREATER-THAN OR EQUAL TO -->
39 <!ENTITY Gg "⋙"> <!-- VERY MUCH GREATER-THAN -->
40 <!ENTITY gl "≷"> <!-- -->
41 <!ENTITY gsim "≳"> <!-- GREATER-THAN OR EQUIVALENT TO -->
42 <!ENTITY Gt "≫"> <!-- MUCH GREATER-THAN -->
43 <!ENTITY lap "≲"> <!-- LESS-THAN OR EQUIVALENT TO -->
44 <!ENTITY ldot "⋖"> <!-- -->
45 <!ENTITY lE "≦"> <!-- -->
46 <!ENTITY lEg "⋚"> <!-- -->
47 <!ENTITY leg "⋚"> <!-- -->
48 <!ENTITY les "≤"> <!-- LESS-THAN OR EQUAL TO -->
49 <!ENTITY lg "≶"> <!-- LESS-THAN OR GREATER-THAN -->
50 <!ENTITY Ll "⋘"> <!-- -->
51 <!ENTITY lsim "≲"> <!-- LESS-THAN OR EQUIVALENT TO -->
52 <!ENTITY Lt "≪"> <!-- MUCH LESS-THAN -->
53 <!ENTITY ltrie "⊴"> <!-- -->
54 <!ENTITY mid "∣"> <!-- -->
55 <!ENTITY models "⊧"> <!-- MODELS -->
56 <!ENTITY pr "≺"> <!-- -->
57 <!ENTITY prap "≾"> <!-- -->
58 <!ENTITY pre "≼"> <!-- -->
59 <!ENTITY prsim "≾"> <!-- -->
60 <!ENTITY rtrie "⊵"> <!-- -->
61 <!ENTITY samalg "∐"> <!-- -->
62 <!ENTITY sc "≻"> <!-- -->
63 <!ENTITY scap "≿"> <!-- -->
64 <!ENTITY sccue "≽"> <!-- -->
65 <!ENTITY sce "≽"> <!-- -->
66 <!ENTITY scsim "≿"> <!-- -->
67 <!ENTITY sfrown "⌢"> <!-- FROWN -->
68 <!ENTITY smid ""> <!-- -->
69 <!ENTITY smile "⌣"> <!-- -->
70 <!ENTITY spar "∥"> <!-- PARALLEL TO -->
71 <!ENTITY sqsub "⊏"> <!-- -->
72 <!ENTITY sqsube "⊑"> <!-- -->
73 <!ENTITY sqsup "⊐"> <!-- -->
74 <!ENTITY sqsupe "⊒"> <!-- -->
75 <!ENTITY ssmile "⌣"> <!-- SMILE -->
76 <!ENTITY Sub "⋐"> <!-- -->
77 <!ENTITY subE "⊆"> <!-- -->
78 <!ENTITY Sup "⋑"> <!-- -->
79 <!ENTITY supE "⊇"> <!-- -->
80 <!ENTITY thkap "≈"> <!-- ALMOST EQUAL TO -->
81 <!ENTITY thksim "∼"> <!-- TILDE OPERATOR -->
82 <!ENTITY trie "≜"> <!-- -->
83 <!ENTITY twixt "≬"> <!-- BETWEEN -->
84 <!ENTITY vdash "⊢"> <!-- -->
85 <!ENTITY Vdash "⊩"> <!-- -->
86 <!ENTITY vDash "⊨"> <!-- -->
87 <!ENTITY veebar "⊻"> <!-- -->
88 <!ENTITY vltri "⊲"> <!-- -->
89 <!ENTITY vprop "∝"> <!-- -->
90 <!ENTITY vrtri "⊳"> <!-- -->
91 <!ENTITY Vvdash "⊪"> <!-- -->