--- /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 -->