|
|
|
|
<!-- 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 "⊪"> <!-- -->
|
