+++ /dev/null
-
-<!--
- File isoamsr.ent produced by the XSL script mmldtd.xsl
- from input data in unicode.xml.
-
- Please report any errors to
- David Carlisle <davidc@nag.co.uk>.
-
- The numeric character values assigned to each entity
- (should) match either official Unicode assignments
- or assignments provisionally allocated by the
- Unicode Consortium based on the characters in the `STIX'
- propsal for mathematics. Note that these assignments
- have not been ratified by the corresponding ISO
- committee and thus should be considered liable to
- change.
-
- Entity names in this file are derived from files carrying the
- following notice:
-
- (C) International Organization for Standardization 1991
- Permission to copy in any form is granted for use with
- conforming SGML systems and applications as defined in
- ISO 8879, provided this notice is included in all copies.
-
--->
-
-<!ENTITY ape "≊" ><!--/approxeq R: approximate, equals -->
-<!ENTITY apE "≊" ><!--approximately equal or equal to -->
-<!ENTITY apid "≋" ><!--approximately identical to -->
-<!ENTITY asymp "≍" ><!--/asymp R: asymptotically equal to -->
-<!ENTITY Barv "⫧" ><!--vert, dbl bar (over) -->
-<!ENTITY bcong "≌" ><!--/backcong R: reverse congruent -->
-<!ENTITY bepsi "ℼ" ><!--/backepsilon R: such that -->
-<!ENTITY bowtie "⋈" ><!--/bowtie R: -->
-<!ENTITY bsim "∽" ><!--/backsim R: reverse similar -->
-<!ENTITY bsime "⋍" ><!--/backsimeq R: reverse similar, eq -->
-<!ENTITY bsolhsub "\⊂" ><!--reverse solidus, subset -->
-<!ENTITY bump "≎" ><!--/Bumpeq R: bumpy equals -->
-<!ENTITY bumpe "≏" ><!--/bumpeq R: bumpy equals, equals -->
-<!ENTITY bumpE "⪮" ><!--bump, equals -->
-<!ENTITY cire "≗" ><!--/circeq R: circle, equals -->
-<!ENTITY Colon "∷" ><!--/Colon, two colons -->
-<!ENTITY colone "≔" ><!--/coloneq R: colon, equals -->
-<!ENTITY Colone "⩴" ><!--double colon, equals -->
-<!ENTITY congdot "⩭" ><!--congruent, dot -->
-<!ENTITY csub "⫏" ><!--subset, closed -->
-<!ENTITY csube "⫑" ><!--subset, closed, equals -->
-<!ENTITY csup "⫐" ><!--superset, closed -->
-<!ENTITY csupe "⫒" ><!--superset, closed, equals -->
-<!ENTITY cuepr "⋞" ><!--/curlyeqprec R: curly eq, precedes -->
-<!ENTITY cuesc "⋟" ><!--/curlyeqsucc R: curly eq, succeeds -->
-<!ENTITY dashv "⊣" ><!--/dashv R: dash, vertical -->
-<!ENTITY Dashv "⫤" ><!--dbl dash, vertical -->
-<!ENTITY easter "≛" ><!--equal, asterisk above -->
-<!ENTITY ecir "≖" ><!--/eqcirc R: circle on equals sign -->
-<!ENTITY ecolon "≕" ><!--/eqcolon R: equals, colon -->
-<!ENTITY eDDot "⩷" ><!--/ddotseq R: equal with four dots -->
-<!ENTITY eDot "≑" ><!--/doteqdot /Doteq R: eq, even dots -->
-<!ENTITY efDot "≒" ><!--/fallingdotseq R: eq, falling dots -->
-<!ENTITY eg "⪚" ><!--equal-or-greater -->
-<!ENTITY egs "⋝" ><!--/eqslantgtr R: equal-or-gtr, slanted -->
-<!ENTITY egsdot "⪘" ><!--equal-or-greater, slanted, dot inside -->
-<!ENTITY el "⪙" ><!--equal-or-less -->
-<!ENTITY els "⋜" ><!--/eqslantless R: eq-or-less, slanted -->
-<!ENTITY elsdot "⪗" ><!--equal-or-less, slanted, dot inside -->
-<!ENTITY equest "≟" ><!--/questeq R: equal with questionmark -->
-<!ENTITY equivDD "⩸" ><!--equivalent, four dots above -->
-<!ENTITY erDot "≓" ><!--/risingdotseq R: eq, rising dots -->
-<!ENTITY esdot "≐" ><!--/doteq R: equals, single dot above -->
-<!ENTITY esim "≂" ><!--/esim R: equals, similar -->
-<!ENTITY Esim "⩳" ><!--equal, similar -->
-<!ENTITY fork "⋔" ><!--/pitchfork R: pitchfork -->
-<!ENTITY forkv "⫙" ><!--fork, variant -->
-<!ENTITY frown "⌢" ><!--/frown R: down curve -->
-<!ENTITY gap "≳" ><!--/gtrapprox R: greater, approximate -->
-<!ENTITY gE "≧" ><!--/geqq R: greater, double equals -->
-<!ENTITY gel "⋛" ><!--/gtreqless R: greater, equals, less -->
-<!ENTITY gEl "⋛" ><!--/gtreqqless R: gt, dbl equals, less -->
-<!ENTITY ges "⩾" ><!--/geqslant R: gt-or-equal, slanted -->
-<!ENTITY gescc "⪩" ><!--greater than, closed by curve, equal, slanted -->
-<!ENTITY gesdot "⪀" ><!--greater-than-or-equal, slanted, dot inside -->
-<!ENTITY gesdoto "⪂" ><!--greater-than-or-equal, slanted, dot above -->
-<!ENTITY gesdotol "⪄" ><!--greater-than-or-equal, slanted, dot above left -->
-<!ENTITY gesl "⋛⁣" ><!--greater, equal, slanted, less -->
-<!ENTITY gesles "⪔" ><!--greater, equal, slanted, less, equal, slanted -->
-<!ENTITY Gg "⋙" ><!--/ggg /Gg /gggtr R: triple gtr-than -->
-<!ENTITY gl "≷" ><!--/gtrless R: greater, less -->
-<!ENTITY gla "⪥" ><!--greater, less, apart -->
-<!ENTITY glE "⪒" ><!--greater, less, equal -->
-<!ENTITY glj "⪤" ><!--greater, less, overlapping -->
-<!ENTITY gsim "≳" ><!--/gtrsim R: greater, similar -->
-<!ENTITY gsime "⪎" ><!--greater, similar, equal -->
-<!ENTITY gsiml "⪐" ><!--greater, similar, less -->
-<!ENTITY Gt "≫" ><!--/gg R: dbl greater-than sign -->
-<!ENTITY gtcc "⪧" ><!--greater than, closed by curve -->
-<!ENTITY gtcir "⩺" ><!--greater than, circle inside -->
-<!ENTITY gtdot "⋗" ><!--/gtrdot R: greater than, with dot -->
-<!ENTITY gtquest "⩼" ><!--greater than, questionmark above -->
-<!ENTITY gtrarr "⥸" ><!--greater than, right arrow -->
-<!ENTITY homtht "∻" ><!--homothetic -->
-<!ENTITY lap "≲" ><!--/lessapprox R: less, approximate -->
-<!ENTITY lat "⪫" ><!--larger than -->
-<!ENTITY late "⪭" ><!--larger than or equal -->
-<!ENTITY lates "⪭⁣" ><!--larger than or equal, slanted -->
-<!ENTITY lE "≦" ><!--/leqq R: less, double equals -->
-<!ENTITY leg "⋚" ><!--/lesseqgtr R: less, eq, greater -->
-<!ENTITY lEg "⋚" ><!--/lesseqqgtr R: less, dbl eq, greater -->
-<!ENTITY les "⩽" ><!--/leqslant R: less-than-or-eq, slant -->
-<!ENTITY lescc "⪨" ><!--less than, closed by curve, equal, slanted -->
-<!ENTITY lesdot "⩿" ><!--less-than-or-equal, slanted, dot inside -->
-<!ENTITY lesdoto "⪁" ><!--less-than-or-equal, slanted, dot above -->
-<!ENTITY lesdotor "⪃" ><!--less-than-or-equal, slanted, dot above right -->
-<!ENTITY lesg "⋚⁣" ><!--less, equal, slanted, greater -->
-<!ENTITY lesges "⪓" ><!--less, equal, slanted, greater, equal, slanted -->
-<!ENTITY lg "≶" ><!--/lessgtr R: less, greater -->
-<!ENTITY lgE "⪑" ><!--less, greater, equal -->
-<!ENTITY Ll "⋘" ><!--/Ll /lll /llless R: triple less-than -->
-<!ENTITY lsim "≲" ><!--/lesssim R: less, similar -->
-<!ENTITY lsime "⪍" ><!--less, similar, equal -->
-<!ENTITY lsimg "⪏" ><!--less, similar, greater -->
-<!ENTITY Lt "≪" ><!--/ll R: double less-than sign -->
-<!ENTITY ltcc "⪦" ><!--less than, closed by curve -->
-<!ENTITY ltcir "⩹" ><!--less than, circle inside -->
-<!ENTITY ltdot "⋖" ><!--/lessdot R: less than, with dot -->
-<!ENTITY ltlarr "⥶" ><!--less than, left arrow -->
-<!ENTITY ltquest "⩻" ><!--less than, questionmark above -->
-<!ENTITY ltrie "⊴" ><!--/trianglelefteq R: left triangle, eq -->
-<!ENTITY mcomma "⨩" ><!--minus, comma above -->
-<!ENTITY mDDot "∺" ><!--minus with four dots, geometric properties -->
-<!ENTITY mid "∣" ><!--/mid R: -->
-<!ENTITY mlcp "⫛" ><!--/mlcp -->
-<!ENTITY models "⊧" ><!--/models R: -->
-<!ENTITY mstpos "∾" ><!--most positive -->
-<!ENTITY pr "≺" ><!--/prec R: precedes -->
-<!ENTITY Pr "⪻" ><!--dbl precedes -->
-<!ENTITY prap "≾" ><!--/precapprox R: precedes, approximate -->
-<!ENTITY prcue "≼" ><!--/preccurlyeq R: precedes, curly eq -->
-<!ENTITY pre "⪯" ><!--/preceq R: precedes, equals -->
-<!ENTITY prE "⪯" ><!--precedes, dbl equals -->
-<!ENTITY prsim "≾" ><!--/precsim R: precedes, similar -->
-<!ENTITY prurel "⊰" ><!--element precedes under relation -->
-<!ENTITY ratio "∶" ><!--/ratio -->
-<!ENTITY rtrie "⊵" ><!--/trianglerighteq R: right tri, eq -->
-<!ENTITY rtriltri "⧎" ><!--right triangle above left triangle -->
-<!ENTITY sc "≻" ><!--/succ R: succeeds -->
-<!ENTITY Sc "⪼" ><!--dbl succeeds -->
-<!ENTITY scap "≿" ><!--/succapprox R: succeeds, approximate -->
-<!ENTITY sccue "≽" ><!--/succcurlyeq R: succeeds, curly eq -->
-<!ENTITY sce "≽" ><!--/succeq R: succeeds, equals -->
-<!ENTITY scE "≾" ><!--succeeds, dbl equals -->
-<!ENTITY scsim "≿" ><!--/succsim R: succeeds, similar -->
-<!ENTITY sdote "⩦" ><!--equal, dot below -->
-<!ENTITY simg "⪞" ><!--similar, greater -->
-<!ENTITY simgE "⪠" ><!--similar, greater, equal -->
-<!ENTITY siml "⪝" ><!--similar, less -->
-<!ENTITY simlE "⪟" ><!--similar, less, equal -->
-<!ENTITY smid "∣⁣" ><!--/shortmid R: -->
-<!ENTITY smile "⌣" ><!--/smile R: up curve -->
-<!ENTITY smt "⪪" ><!--smaller than -->
-<!ENTITY smte "⪬" ><!--smaller than or equal -->
-<!ENTITY smtes "⪬⁣" ><!--smaller than or equal, slanted -->
-<!ENTITY spar "∥⁣" ><!--/shortparallel R: short parallel -->
-<!ENTITY sqsub "⊏" ><!--/sqsubset R: square subset -->
-<!ENTITY sqsube "⊑" ><!--/sqsubseteq R: square subset, equals -->
-<!ENTITY sqsup "⊐" ><!--/sqsupset R: square superset -->
-<!ENTITY sqsupe "⊒" ><!--/sqsupseteq R: square superset, eq -->
-<!ENTITY Sub "⋐" ><!--/Subset R: double subset -->
-<!ENTITY subE "⊆" ><!--/subseteqq R: subset, dbl equals -->
-<!ENTITY subedot "⫃" ><!--subset, equals, dot -->
-<!ENTITY submult "⫁" ><!--subset, multiply -->
-<!ENTITY subplus "⪿" ><!--subset, plus -->
-<!ENTITY subrarr "⥹" ><!--subset, right arrow -->
-<!ENTITY subsim "⫇" ><!--subset, similar -->
-<!ENTITY subsub "⫕" ><!--subset above subset -->
-<!ENTITY subsup "⫓" ><!--subset above superset -->
-<!ENTITY Sup "⋑" ><!--/Supset R: dbl superset -->
-<!ENTITY supdsub "⫘" ><!--superset, subset, dash joining them -->
-<!ENTITY supE "⊇" ><!--/supseteqq R: superset, dbl equals -->
-<!ENTITY supedot "⫄" ><!--superset, equals, dot -->
-<!ENTITY suphsol "⊃/" ><!--superset, solidus -->
-<!ENTITY suphsub "⫗" ><!--superset, subset -->
-<!ENTITY suplarr "⥻" ><!--superset, left arrow -->
-<!ENTITY supmult "⫂" ><!--superset, multiply -->
-<!ENTITY supplus "⫀" ><!--superset, plus -->
-<!ENTITY supsim "⫈" ><!--superset, similar -->
-<!ENTITY supsub "⫔" ><!--superset above subset -->
-<!ENTITY supsup "⫖" ><!--superset above superset -->
-<!ENTITY thkap "≈⁣" ><!--/thickapprox R: thick approximate -->
-<!ENTITY thksim "∼" ><!--/thicksim R: thick similar -->
-<!ENTITY topfork "⫚" ><!--fork with top -->
-<!ENTITY trie "≜" ><!--/triangleq R: triangle, equals -->
-<!ENTITY twixt "≬" ><!--/between R: between -->
-<!ENTITY vBar "⫨" ><!--vert, dbl bar (under) -->
-<!ENTITY Vbar "⫫" ><!--dbl vert, bar (under) -->
-<!ENTITY vBarv "⫩" ><!--dbl bar, vert over and under -->
-<!ENTITY vdash "⊢" ><!--/vdash R: vertical, dash -->
-<!ENTITY vDash "⊨" ><!--/vDash R: vertical, dbl dash -->
-<!ENTITY Vdash "⊩" ><!--/Vdash R: dbl vertical, dash -->
-<!ENTITY VDash "⊫" ><!--dbl vert, dbl dash -->
-<!ENTITY Vdashl "⫦" ><!--vertical, dash (long) -->
-<!ENTITY vltri "⊲" ><!--/vartriangleleft R: l tri, open, var -->
-<!ENTITY vprop "∝" ><!--/varpropto R: proportional, variant -->
-<!ENTITY vrtri "⊳" ><!--/vartriangleright R: r tri, open, var -->
-<!ENTITY Vvdash "⊪" ><!--/Vvdash R: triple vertical, dash -->