1<!-- iso-amsr.ent (initially distributed with DocBook XML DTD V4.1.1beta1) --> 2 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 --> 7 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 "⊪"> <!-- --> 92