<!-- ISO AMS R: Relations --> <!-- $Id$ --> <!-- Derived from the corresponding ISO 8879 standard entity set --> <!-- Checked against MathML 2.0 2nd Ed --> <!ENTITY ape "≊"> <!-- approximate, equals --> <!ENTITY asymp "≍"> <!-- asymptotically equal to. MathML has 2248 --> <!ENTITY bcong "≌"> <!-- revers congruent --> <!ENTITY bepsi "϶"> <!-- such that --> <!ENTITY bowtie "⋈"> <!-- bowtie --> <!ENTITY bsim "∽"> <!-- reverse similar --> <!ENTITY bsime "⋍"> <!-- reverse similar, eq --> <!ENTITY bump "≎"> <!-- bumpy equals --> <!ENTITY bumpe "≏"> <!-- bumpy equals, equals --> <!ENTITY cire "≗"> <!-- circle, equals --> <!ENTITY colone "≔"> <!-- double colon, equals --> <!ENTITY cuepr "⋞"> <!-- curly eq, precedes --> <!ENTITY cuesc "⋟"> <!-- curly eq, succeeds --> <!ENTITY cupre "≼"> <!-- . Not in MathML --> <!ENTITY dashv "⊣"> <!-- dash, vertical --> <!ENTITY ecir "≖"> <!-- circle on equals sign --> <!ENTITY ecolon "≕"> <!-- equals, colon --> <!ENTITY eDot "≑"> <!-- eq, even dots --> <!ENTITY efDot "≒"> <!-- eq, falling dots --> <!ENTITY egs "⪖"> <!-- equal-or-gtr, slanted --> <!ENTITY els "⪕"> <!-- eq-or-less, slanted --> <!ENTITY erDot "≓"> <!-- eq, rising dots --> <!ENTITY esdot "≐"> <!-- equal, similar --> <!ENTITY fork "⋔"> <!-- pitchfork --> <!ENTITY frown "⌢"> <!-- down curve --> <!ENTITY gap "⪆"> <!-- greater, approximate --> <!ENTITY gE "≧"> <!-- greater, double equals --> <!ENTITY gEl "⪌"> <!-- gt, dbl equals, less --> <!ENTITY gel "⋛"> <!-- greater, equals, less --> <!ENTITY ges "⩾"> <!-- gt-or- equal, slanted --> <!ENTITY Gg "⋙"> <!-- triple gtr-than --> <!ENTITY gl "≷"> <!-- greater, less --> <!ENTITY gsdot "⋗"> <!-- . not in MathML --> <!ENTITY gsim "≳"> <!-- greater, similar --> <!ENTITY Gt "≫"> <!-- dbl greater-than sign --> <!ENTITY lap "⪅"> <!-- less, approximate --> <!ENTITY ldot "⋖"> <!-- . not in MathML --> <!ENTITY lE "≦"> <!-- less, double equals --> <!ENTITY lEg "⪋"> <!-- less, dbl eq, greater --> <!ENTITY leg "⋚"> <!-- less, eq, greater --> <!ENTITY les "⩽"> <!-- less-than-or-eq, slant --> <!ENTITY lg "≶"> <!-- less, greater --> <!ENTITY Ll "⋘"> <!-- triple less-than sign --> <!ENTITY lsim "≲"> <!-- less, similar --> <!ENTITY Lt "≪"> <!-- double less-than sign --> <!ENTITY ltrie "⊴"> <!-- less triangle, eq --> <!ENTITY mid "∣"> <!-- DIVIDES --> <!ENTITY models "⊧"> <!-- MODELS --> <!ENTITY pr "≺"> <!-- precedes --> <!ENTITY prap "⪷"> <!-- precedes, approximate --> <!ENTITY pre "⪯"> <!-- precedes, equals --> <!ENTITY prsim "≾"> <!-- precedes, similar --> <!ENTITY rtrie "⊵"> <!-- right tri, eq --> <!-- samalg Unknown unicode character. not in MathML --> <!ENTITY sc "≻"> <!-- succeeds --> <!ENTITY scap "⪸"> <!-- succeeds, approximate --> <!ENTITY sccue "≽"> <!-- succceeds, curly eq --> <!ENTITY sce "⪰"> <!-- succeeds, equals --> <!ENTITY scsim "≿"> <!-- succeeds, similar --> <!ENTITY sfrown "⌢"> <!-- small down curve --> <!ENTITY smid "∣"> <!-- DIVIDES --> <!ENTITY smile "⌣"> <!-- up curve --> <!ENTITY spar "∥"> <!-- short parallel --> <!ENTITY sqsub "⊏"> <!-- square subset --> <!ENTITY sqsube "⊑"> <!-- square subset, equals --> <!ENTITY sqsup "⊐"> <!-- square superset --> <!ENTITY sqsupe "⊒"> <!-- square superset, eq --> <!ENTITY ssmile "⌣"> <!-- small up curve --> <!ENTITY Sub "⋐"> <!-- double subset --> <!ENTITY subE "⫅"> <!-- subset, dbl equals --> <!ENTITY Sup "⋑"> <!-- dbl superset --> <!ENTITY supE "⫆"> <!-- superset, dbl equals --> <!ENTITY thkap "≈"> <!-- thick approximate --> <!ENTITY thksim "∼"> <!-- think similar --> <!ENTITY trie "≜"> <!-- triangle, equals --> <!ENTITY twixt "≬"> <!-- between --> <!ENTITY Vdash "⊩"> <!-- dbl vertical, dash --> <!ENTITY vDash "⊨"> <!-- vertical, dbl dash --> <!ENTITY vdash "⊢"> <!-- vertical, dash --> <!ENTITY vltri "⊲"> <!-- l tri, open, var --> <!ENTITY vprop "∝"> <!-- proportional, variant --> <!ENTITY vrtri "⊳"> <!-- r tri, open, var --> <!ENTITY Vvdash "⊪"> <!-- triple vertical, dash -->