Alessandro Bonazzi
8c43d5cf2f
Files correlati : cg0.exe cg0700a.msk cg0700b.msk cg3.exe cg4.exe Bug : Commento: Merge 1.0 libraries
90 lines
3.4 KiB
Plaintext
90 lines
3.4 KiB
Plaintext
<!-- iso-amsr.ent produced by Norman Walsh for the XML version of DocBook -->
|
|
|
|
<!-- Derived from the corresponding ISO 8879 standard entity set
|
|
and the Unicode character mappings provided by Sebastian Rahtz -->
|
|
|
|
<!ENTITY ape "≊"> <!-- -->
|
|
<!ENTITY asymp "≍"> <!-- EQUIVALENT TO -->
|
|
<!ENTITY bcong "≌"> <!-- ALL EQUAL TO -->
|
|
<!ENTITY bepsi ""> <!-- -->
|
|
<!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 ""> <!-- -->
|
|
<!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 ""> <!-- -->
|
|
<!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 "⊵"> <!-- -->
|
|
<!-- samalg Unknown unicode character -->
|
|
<!ENTITY sc "≻"> <!-- -->
|
|
<!ENTITY scap "≿"> <!-- -->
|
|
<!ENTITY sccue "≽"> <!-- -->
|
|
<!ENTITY sce "≽"> <!-- -->
|
|
<!ENTITY scsim "≿"> <!-- -->
|
|
<!ENTITY sfrown ""> <!-- -->
|
|
<!ENTITY smid ""> <!-- -->
|
|
<!ENTITY smile "⌣"> <!-- -->
|
|
<!ENTITY spar ""> <!-- -->
|
|
<!ENTITY sqsub "⊏"> <!-- -->
|
|
<!ENTITY sqsube "⊑"> <!-- -->
|
|
<!ENTITY sqsup "⊐"> <!-- -->
|
|
<!ENTITY sqsupe "⊒"> <!-- -->
|
|
<!ENTITY ssmile ""> <!-- -->
|
|
<!ENTITY Sub "⋐"> <!-- -->
|
|
<!ENTITY subE "⊆"> <!-- -->
|
|
<!ENTITY Sup "⋑"> <!-- -->
|
|
<!ENTITY supE "⊇"> <!-- -->
|
|
<!ENTITY thkap ""> <!-- -->
|
|
<!ENTITY thksim ""> <!-- -->
|
|
<!ENTITY trie "≜"> <!-- -->
|
|
<!ENTITY twixt "≬"> <!-- BETWEEN -->
|
|
<!ENTITY vdash "⊢"> <!-- -->
|
|
<!ENTITY Vdash "⊩"> <!-- -->
|
|
<!ENTITY vDash "⊨"> <!-- -->
|
|
<!ENTITY veebar "⊻"> <!-- -->
|
|
<!ENTITY vltri "⊲"> <!-- -->
|
|
<!ENTITY vprop "∝"> <!-- -->
|
|
<!ENTITY vrtri "⊳"> <!-- -->
|
|
<!ENTITY Vvdash "⊪"> <!-- -->
|