<!-- iso-amsr.ent (initially distributed with DocBook XML DTD V4.1.1beta1) --> <!-- Derived from the corresponding ISO 8879 standard entity set and the Unicode character mappings provided by Sebastian Rahtz. With additional derivations from ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT --> <!ENTITY ape "≊"> <!-- --> <!ENTITY asymp "≍"> <!-- EQUIVALENT TO --> <!ENTITY bcong "≌"> <!-- ALL EQUAL TO --> <!ENTITY bepsi "∍"> <!-- SMALL CONTAINS AS MEMBER --> <!ENTITY bowtie "⋈"> <!-- --> <!ENTITY bsim "∽"> <!-- --> <!ENTITY bsime "⋍"> <!-- --> <!ENTITY bump "≎"> <!-- --> <!ENTITY bumpe "≏"> <!-- --> <!ENTITY cire "≗"> <!-- --> <!ENTITY colone "≔"> <!-- --> <!ENTITY cuepr "⋞"> <!-- --> <!ENTITY cuesc "⋟"> <!-- --> <!ENTITY cupre "≼"> <!-- --> <!ENTITY dashv "⊣"> <!-- --> <!ENTITY ecir "≖"> <!-- --> <!ENTITY ecolon "≕"> <!-- --> <!ENTITY eDot "≑"> <!-- --> <!ENTITY esdot "≐"> <!-- --> <!ENTITY efDot "≒"> <!-- --> <!ENTITY egs "⋝"> <!-- --> <!ENTITY els "⋜"> <!-- --> <!ENTITY erDot "≓"> <!-- --> <!ENTITY fork "⋔"> <!-- --> <!ENTITY frown "⌢"> <!-- --> <!ENTITY gap "≳"> <!-- GREATER-THAN OR EQUIVALENT TO --> <!ENTITY gsdot "⋗"> <!-- --> <!ENTITY gE "≧"> <!-- --> <!ENTITY gel "⋛"> <!-- --> <!ENTITY gEl "⋛"> <!-- --> <!ENTITY ges "≥"> <!-- GREATER-THAN OR EQUAL TO --> <!ENTITY Gg "⋙"> <!-- VERY MUCH GREATER-THAN --> <!ENTITY gl "≷"> <!-- --> <!ENTITY gsim "≳"> <!-- GREATER-THAN OR EQUIVALENT TO --> <!ENTITY Gt "≫"> <!-- MUCH GREATER-THAN --> <!ENTITY lap "≲"> <!-- LESS-THAN OR EQUIVALENT TO --> <!ENTITY ldot "⋖"> <!-- --> <!ENTITY lE "≦"> <!-- --> <!ENTITY lEg "⋚"> <!-- --> <!ENTITY leg "⋚"> <!-- --> <!ENTITY les "≤"> <!-- LESS-THAN OR EQUAL TO --> <!ENTITY lg "≶"> <!-- LESS-THAN OR GREATER-THAN --> <!ENTITY Ll "⋘"> <!-- --> <!ENTITY lsim "≲"> <!-- LESS-THAN OR EQUIVALENT TO --> <!ENTITY Lt "≪"> <!-- MUCH LESS-THAN --> <!ENTITY ltrie "⊴"> <!-- --> <!ENTITY mid "∣"> <!-- --> <!ENTITY models "⊧"> <!-- MODELS --> <!ENTITY pr "≺"> <!-- --> <!ENTITY prap "≾"> <!-- --> <!ENTITY pre "≼"> <!-- --> <!ENTITY prsim "≾"> <!-- --> <!ENTITY rtrie "⊵"> <!-- --> <!ENTITY samalg "∐"> <!-- --> <!ENTITY sc "≻"> <!-- --> <!ENTITY scap "≿"> <!-- --> <!ENTITY sccue "≽"> <!-- --> <!ENTITY sce "≽"> <!-- --> <!ENTITY scsim "≿"> <!-- --> <!ENTITY sfrown "⌢"> <!-- FROWN --> <!ENTITY smid ""> <!-- --> <!ENTITY smile "⌣"> <!-- --> <!ENTITY spar "∥"> <!-- PARALLEL TO --> <!ENTITY sqsub "⊏"> <!-- --> <!ENTITY sqsube "⊑"> <!-- --> <!ENTITY sqsup "⊐"> <!-- --> <!ENTITY sqsupe "⊒"> <!-- --> <!ENTITY ssmile "⌣"> <!-- SMILE --> <!ENTITY Sub "⋐"> <!-- --> <!ENTITY subE "⊆"> <!-- --> <!ENTITY Sup "⋑"> <!-- --> <!ENTITY supE "⊇"> <!-- --> <!ENTITY thkap "≈"> <!-- ALMOST EQUAL TO --> <!ENTITY thksim "∼"> <!-- TILDE OPERATOR --> <!ENTITY trie "≜"> <!-- --> <!ENTITY twixt "≬"> <!-- BETWEEN --> <!ENTITY vdash "⊢"> <!-- --> <!ENTITY Vdash "⊩"> <!-- --> <!ENTITY vDash "⊨"> <!-- --> <!ENTITY veebar "⊻"> <!-- --> <!ENTITY vltri "⊲"> <!-- --> <!ENTITY vprop "∝"> <!-- --> <!ENTITY vrtri "⊳"> <!-- --> <!ENTITY Vvdash "⊪"> <!-- -->