home *** CD-ROM | disk | FTP | other *** search
- <!-- 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 "⊪"> <!-- -->
-