--- /dev/null
+
+<!--
+ File isonum.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 1986
+ 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.
+
+-->
+<!--HELM: deleted the central &:
+<!ENTITY amp "&&" >-->
+<!ENTITY amp "&#x00026;" ><!--=ampersand -->
+<!ENTITY apos "'" ><!--=apostrophe -->
+<!ENTITY ast "*" ><!--/ast B: =asterisk -->
+<!ENTITY brvbar "¦" ><!--=broken (vertical) bar -->
+<!ENTITY bsol "\" ><!--/backslash =reverse solidus -->
+<!ENTITY cent "¢" ><!--=cent sign -->
+<!ENTITY colon ":" ><!--/colon P: -->
+<!ENTITY comma "," ><!--P: =comma -->
+<!ENTITY commat "@" ><!--=commercial at -->
+<!ENTITY copy "©" ><!--=copyright sign -->
+<!ENTITY curren "¤" ><!--=general currency sign -->
+<!ENTITY darr "↓" ><!--/downarrow A: =downward arrow -->
+<!ENTITY deg "°" ><!--=degree sign -->
+<!ENTITY divide "÷" ><!--/div B: =divide sign -->
+<!ENTITY dollar "$" ><!--=dollar sign -->
+<!ENTITY equals "=" ><!--=equals sign R: -->
+<!ENTITY excl "!" ><!--=exclamation mark -->
+<!ENTITY frac12 "½" ><!--=fraction one-half -->
+<!ENTITY frac14 "¼" ><!--=fraction one-quarter -->
+<!ENTITY frac18 "⅛" ><!--=fraction one-eighth -->
+<!ENTITY frac34 "¾" ><!--=fraction three-quarters -->
+<!ENTITY frac38 "⅜" ><!--=fraction three-eighths -->
+<!ENTITY frac58 "⅝" ><!--=fraction five-eighths -->
+<!ENTITY frac78 "⅞" ><!--=fraction seven-eighths -->
+<!ENTITY gt ">" ><!--=greater-than sign R: -->
+<!ENTITY half "½" ><!--=fraction one-half -->
+<!ENTITY horbar "―" ><!--=horizontal bar -->
+<!ENTITY hyphen "‐" ><!--=hyphen -->
+<!ENTITY iexcl "¡" ><!--=inverted exclamation mark -->
+<!ENTITY iquest "¿" ><!--=inverted question mark -->
+<!ENTITY laquo "«" ><!--=angle quotation mark, left -->
+<!ENTITY larr "←" ><!--/leftarrow /gets A: =leftward arrow -->
+<!ENTITY lcub "{" ><!--/lbrace O: =left curly bracket -->
+<!ENTITY ldquo "“" ><!--=double quotation mark, left -->
+<!ENTITY lowbar "_" ><!--=low line -->
+<!ENTITY lpar "(" ><!--O: =left parenthesis -->
+<!ENTITY lsqb "[" ><!--/lbrack O: =left square bracket -->
+<!ENTITY lsquo "‘" ><!--=single quotation mark, left -->
+<!--HELM: deleted the central &:
+<!ENTITY lt "&<" >-->
+<!ENTITY lt "&#x0003C;" ><!--=less-than sign R: -->
+<!ENTITY micro "µ" ><!--=micro sign -->
+<!ENTITY middot "·" ><!--/centerdot B: =middle dot -->
+<!ENTITY nbsp " " ><!--=no break (required) space -->
+<!ENTITY not "¬" ><!--/neg /lnot =not sign -->
+<!ENTITY num "#" ><!--=number sign -->
+<!ENTITY ohm "Ω" ><!--=ohm sign -->
+<!ENTITY ordf "ª" ><!--=ordinal indicator, feminine -->
+<!ENTITY ordm "º" ><!--=ordinal indicator, masculine -->
+<!ENTITY para "¶" ><!--=pilcrow (paragraph sign) -->
+<!ENTITY percnt "%" ><!--=percent sign -->
+<!ENTITY period "." ><!--=full stop, period -->
+<!ENTITY plus "+" ><!--=plus sign B: -->
+<!ENTITY plusmn "±" ><!--/pm B: =plus-or-minus sign -->
+<!ENTITY pound "£" ><!--=pound sign -->
+<!ENTITY quest "?" ><!--=question mark -->
+<!ENTITY quot """ ><!--=quotation mark -->
+<!ENTITY raquo "»" ><!--=angle quotation mark, right -->
+<!ENTITY rarr "→" ><!--/rightarrow /to A: =rightward arrow -->
+<!ENTITY rcub "}" ><!--/rbrace C: =right curly bracket -->
+<!ENTITY rdquo "”" ><!--=double quotation mark, right -->
+<!ENTITY reg "®" ><!--/circledR =registered sign -->
+<!ENTITY rpar ")" ><!--C: =right parenthesis -->
+<!ENTITY rsqb "]" ><!--/rbrack C: =right square bracket -->
+<!ENTITY rsquo "’" ><!--=single quotation mark, right -->
+<!ENTITY sect "§" ><!--=section sign -->
+<!ENTITY semi ";" ><!--=semicolon P: -->
+<!ENTITY shy "­" ><!--=soft hyphen -->
+<!ENTITY sol "/" ><!--=solidus -->
+<!ENTITY sung "♪" ><!--=music note (sung text sign) -->
+<!ENTITY sup1 "¹" ><!--=superscript one -->
+<!ENTITY sup2 "²" ><!--=superscript two -->
+<!ENTITY sup3 "³" ><!--=superscript three -->
+<!ENTITY times "×" ><!--/times B: =multiply sign -->
+<!ENTITY trade "™" ><!--=trade mark sign -->
+<!ENTITY uarr "↑" ><!--/uparrow A: =upward arrow -->
+<!ENTITY verbar "|" ><!--/vert =vertical bar -->
+<!ENTITY yen "¥" ><!--/yen =yen sign -->