From eecd02f892cd859e137c550aaa0f2668986c5f2b Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 11:40:00 +0000
Subject: [PATCH] Initial revision
---
helm/cgi/mkindex.pl | 93 ++
helm/dtd/annotations.dtd | 29 +
helm/dtd/cic.dtd | 176 +++
helm/dtd/cicobject.dtd | 97 ++
helm/dtd/isoamsa.ent | 173 +++
helm/dtd/isoamsb.ent | 146 +++
helm/dtd/isoamsc.ent | 49 +
helm/dtd/isoamsn.ent | 117 ++
helm/dtd/isoamso.ent | 77 ++
helm/dtd/isoamsr.ent | 205 ++++
helm/dtd/isobox.ent | 67 ++
helm/dtd/isocyr1.ent | 94 ++
helm/dtd/isocyr2.ent | 53 +
helm/dtd/isodia.ent | 41 +
helm/dtd/isogrk3.ent | 70 ++
helm/dtd/isolat1.ent | 89 ++
helm/dtd/isolat2.ent | 148 +++
helm/dtd/isomfrk.ent | 79 ++
helm/dtd/isomopf.ent | 53 +
helm/dtd/isomscr.ent | 79 ++
helm/dtd/isonum.ent | 106 ++
helm/dtd/isopub.ent | 111 ++
helm/dtd/isotech.ent | 183 +++
helm/dtd/mathml2-qname-1.mod | 268 +++++
helm/dtd/mathml2.dtd | 1948 +++++++++++++++++++++++++++++++
helm/dtd/maththeory.dtd | 73 ++
helm/dtd/mmlalias.ent | 529 +++++++++
helm/dtd/mmlextra.ent | 134 +++
helm/dtd/provastruct.theory.xml | 158 +++
helm/dtd/theoryobject.dtd | 14 +
helm/header/getheader.xml | 21 +
helm/header/provaurl | 1 +
helm/header/provaurl1 | 2 +
helm/header/setheader.xsl | 33 +
34 files changed, 5516 insertions(+)
create mode 100755 helm/cgi/mkindex.pl
create mode 100644 helm/dtd/annotations.dtd
create mode 100644 helm/dtd/cic.dtd
create mode 100644 helm/dtd/cicobject.dtd
create mode 100644 helm/dtd/isoamsa.ent
create mode 100644 helm/dtd/isoamsb.ent
create mode 100644 helm/dtd/isoamsc.ent
create mode 100644 helm/dtd/isoamsn.ent
create mode 100644 helm/dtd/isoamso.ent
create mode 100644 helm/dtd/isoamsr.ent
create mode 100644 helm/dtd/isobox.ent
create mode 100644 helm/dtd/isocyr1.ent
create mode 100644 helm/dtd/isocyr2.ent
create mode 100644 helm/dtd/isodia.ent
create mode 100644 helm/dtd/isogrk3.ent
create mode 100644 helm/dtd/isolat1.ent
create mode 100644 helm/dtd/isolat2.ent
create mode 100644 helm/dtd/isomfrk.ent
create mode 100644 helm/dtd/isomopf.ent
create mode 100644 helm/dtd/isomscr.ent
create mode 100644 helm/dtd/isonum.ent
create mode 100644 helm/dtd/isopub.ent
create mode 100644 helm/dtd/isotech.ent
create mode 100644 helm/dtd/mathml2-qname-1.mod
create mode 100644 helm/dtd/mathml2.dtd
create mode 100644 helm/dtd/maththeory.dtd
create mode 100644 helm/dtd/mmlalias.ent
create mode 100644 helm/dtd/mmlextra.ent
create mode 100644 helm/dtd/provastruct.theory.xml
create mode 100644 helm/dtd/theoryobject.dtd
create mode 100644 helm/header/getheader.xml
create mode 100644 helm/header/provaurl
create mode 100644 helm/header/provaurl1
create mode 100644 helm/header/setheader.xsl
diff --git a/helm/cgi/mkindex.pl b/helm/cgi/mkindex.pl
new file mode 100755
index 000000000..9bc41ef11
--- /dev/null
+++ b/helm/cgi/mkindex.pl
@@ -0,0 +1,93 @@
+#!/usr/bin/perl
+
+# the required file defines: $helm_dir, $helm_url_path, $getheader_url,
+# $style_url, $webeq_url, $webeqp_url
+require "/local/lib/helm/configuration.pl";
+
+$baseuri0 = $dirname = $uri = $ENV{"REQUEST_URI"};
+
+$dirname =~ s/$helm_url_path//;
+$dirname = $helm_dir.$dirname;
+
+$baseuri0 =~ s/$helm_url_path//;
+
+opendir(DIR, $dirname);
+@filenames = readdir(DIR);
+closedir(DIR);
+
+$output = "";
+foreach $i (@filenames) {
+ if ($i eq "..") {
+ $output .= <<EOT;
+<img border="0" src="/icons/back.gif" alt="[BACK]"> <a href="$uri$i">Parent Directory</a>
+EOT
+ } elsif ($i !~ /^\./) {
+ # hidden files excluded
+ (undef,undef,$mode) = stat("$dirname$i");
+ if ($mode &= 16384) {
+ # directory
+ $output .= <<EOT;
+<img border="0" src="/icons/folder.gif" alt="[DIR]"> <a href="$uri$i">$i</a>
+EOT
+ } else {
+ # file
+ if ($i =~ /\.(con|var|ind)\.xml$/) {
+ my $i_without_xml = $i;
+ $i_without_xml =~ s/(.*)\.xml/$1/;
+ # cic file
+ my $baseuri = "cic:".$baseuri0;
+ $output .= <<EOT;
+<img border="0" src="/icons/generic.red.gif" alt="[DIR]"> <a
+href="$uri$i">$i</a> <a
+href="$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$baseuri$i_without_xml">MathML</a> <a href="$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=content_to_html.xsl&xmluri=$baseuri$i_without_xml">HTML</a> <a href="$webeq_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$baseuri$i_without_xml">WEBEQ</a> <a href="$webeqp_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$baseuri$i_without_xml">WEBEQ PRESENTATION ONLY</a>
+EOT
+ } elsif ($i =~ /\.(con|var|ind)\.ann\.xml$/) {
+ my $i_without_xml = $i;
+ my $i_without_ann_and_xml = $i;
+ $i_without_xml =~ s/(.*)\.xml/$1/;
+ $i_without_ann_and_xml =~ s/(.*)\.ann\.xml/$1/;
+ # cic file
+ my $baseuri = "cic:".$baseuri0;
+ $output .= <<EOT;
+<img border="0" src="/icons/text.gif" alt="[DIR]"> <a href="$uri$i">$i</a> <a href="$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$baseuri$i_without_ann_and_xml&annuri=$baseuri$i_without_xml">MathML</a> <a href="$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=content_to_html.xsl&xmluri=$baseuri$i_without_ann_and_xml&annuri=$baseuri$i_without_xml">HTML</a> <a href="$webeq_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$baseuri$i_without_ann_and_xml&annuri=$baseuri$i_without_xml">WEBEQ</a> <a href="$webeqp_url?mmlurl=$getheader_url?baseurl=$style_url&stylesheet1=rootcontent.xsl&stylesheet2=annotatedpres.xsl&xmluri=$baseuri$i_without_ann_and_xml&annuri=$baseuri$i_without_xml">WEBEQ PRESENTATION ONLY</a>
+EOT
+ } elsif ($i =~ /\.theory\.xml$/) {
+ my $i_without_xml = $i;
+ $i_without_xml =~ s/(.*)\.xml/$1/;
+ # theory file
+ my $baseuri = "theory:".$baseuri0;
+ $output .= <<EOT;
+<img border="0" src="/icons/layout.gif" alt="[DIR]"> <a
+href="$uri$i">$i</a> <a href="$getheader_url?baseurl=$style_url&stylesheet1=theory_content.xsl&stylesheet2=theory_pres.xsl&xmluri=$baseuri$i_without_xml">MathML</a> <a href="$getheader_url?baseurl=$style_url&stylesheet1=roottheory.xsl&stylesheet2=content_to_html.xsl&xmluri=$baseuri$i_without_xml">HTML</a>
+EOT
+ } else {
+ # other file
+ $output .= <<EOT;
+<img border="0" src="/icons/unknown.gif" alt="[DIR]"> <a href="$uri$i">$i</a>
+EOT
+ }
+ }
+ }
+}
+
+print <<EOT;
+Content-type: text/html
+
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
+"http://www.w3.org/TR/REC-html40/loose.dtd">
+<html>
+<head>
+<title>Index of $uri</title>
+</head>
+<body bgcolor="#ffffff" text="#000000">
+<table><tr><td bgcolor="#ffffff" class="title">
+<font size="+3" face="Helvetica,Arial,sans-serif"><b>Index of $uri</b></font>
+</td></tr></table>
+<hr noshade align="left" width="80%">
+<pre>
+$output
+</pre>
+<hr noshade align="left" width="80%">
+</body>
+</html>
+EOT
diff --git a/helm/dtd/annotations.dtd b/helm/dtd/annotations.dtd
new file mode 100644
index 000000000..c7d379983
--- /dev/null
+++ b/helm/dtd/annotations.dtd
@@ -0,0 +1,29 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR ANNOTATED OBJECTS: -->
+<!-- First draft: June 2000, Claudio Sacerdoti Coen -->
+<!--*****************************************************************-->
+
+<!ENTITY % annotation '(#PCDATA|node|attribute)*'>
+
+<!ELEMENT Annotations (Annotation)*>
+<!ATTLIST Annotations
+ of CDATA #REQUIRED>
+
+<!ELEMENT Annotation %annotation;>
+<!ATTLIST Annotation
+ of CDATA #REQUIRED>
+
+<!-- Annotations: -->
+
+<!ELEMENT attribute EMPTY>
+<!ATTLIST attribute
+ name NMTOKEN #REQUIRED
+ id NMTOKEN #REQUIRED
+ child NMTOKEN #IMPLIED
+ grandchild NMTOKEN #IMPLIED>
+
+<!ELEMENT node EMPTY>
+<!ATTLIST node
+ id NMTOKEN #REQUIRED>
diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
new file mode 100644
index 000000000..e16b10287
--- /dev/null
+++ b/helm/dtd/cic.dtd
@@ -0,0 +1,176 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR CIC OBJECTS: -->
+<!-- First draft: September 1999, Claudio Sacerdoti Coen -->
+<!-- Revised: February 3 2000, Claudio Sacerdoti Coen, Irene Schena -->
+<!-- Last Revision: April 4 2000, Claudio Sacerdoti Coen -->
+<!-- Last Revision: June 19 2000, Claudio Sacerdoti Coen -->
+<!-- Last Revision: June 20 2000, Claudio Sacerdoti Coen -->
+<!--*****************************************************************-->
+
+<!-- CIC term declaration -->
+
+<!ENTITY % term '(LAMBDA|CAST|PROD|REL|SORT|APPLY|VAR|META|IMPLICIT|CONST|
+ ABST|MUTIND|MUTCONSTRUCT|MUTCASE|FIX|COFIX)'>
+
+<!-- CIC objects: -->
+
+<!ELEMENT Definition (body, type)>
+<!ATTLIST Definition
+ name CDATA #REQUIRED
+ params CDATA #REQUIRED
+ paramMode (POSSIBLE) #IMPLIED
+ id ID #REQUIRED>
+
+<!ELEMENT Axiom (type)>
+<!ATTLIST Axiom
+ name CDATA #REQUIRED
+ params CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT CurrentProof (Conjecture*,body,type)>
+<!ATTLIST CurrentProof
+ name CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT InductiveDefinition (InductiveType+)>
+<!ATTLIST InductiveDefinition
+ noParams NMTOKEN #REQUIRED
+ params CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT Variable (type)>
+<!ATTLIST Variable
+ name CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!-- Elements used in CIC objects, which are not terms: -->
+
+<!ELEMENT InductiveType (arity,Constructor*)>
+<!ATTLIST InductiveType
+ name CDATA #REQUIRED
+ inductive (true|false) #REQUIRED>
+
+<!ELEMENT Conjecture %term;>
+<!ATTLIST Conjecture
+ no NMTOKEN #REQUIRED>
+
+<!ELEMENT Constructor %term;>
+<!ATTLIST Constructor
+ name CDATA #REQUIRED>
+
+<!-- CIC terms: -->
+
+<!ELEMENT LAMBDA (source,target)>
+<!ATTLIST LAMBDA
+ id ID #REQUIRED>
+
+<!ELEMENT PROD (source,target)>
+<!ATTLIST PROD
+ id ID #REQUIRED>
+
+<!ELEMENT CAST (term,type)>
+<!ATTLIST CAST
+ id ID #REQUIRED>
+
+<!ELEMENT REL EMPTY>
+<!ATTLIST REL
+ value NMTOKEN #REQUIRED
+ binder CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT SORT EMPTY>
+<!ATTLIST SORT
+ value CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT APPLY (%term;)+>
+<!ATTLIST APPLY
+ id ID #REQUIRED>
+
+<!ELEMENT VAR EMPTY>
+<!ATTLIST VAR
+ relUri CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT META EMPTY>
+<!ATTLIST META
+ no NMTOKEN #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT IMPLICIT EMPTY>
+<!ATTLIST IMPLICIT
+ id ID #REQUIRED>
+
+<!ELEMENT CONST EMPTY>
+<!ATTLIST CONST
+ uri CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT ABST EMPTY>
+<!ATTLIST ABST
+ uri CDATA #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT MUTIND EMPTY>
+<!ATTLIST MUTIND
+ uri CDATA #REQUIRED
+ noType NMTOKEN #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT MUTCONSTRUCT EMPTY>
+<!ATTLIST MUTCONSTRUCT
+ uri CDATA #REQUIRED
+ noType NMTOKEN #REQUIRED
+ noConstr NMTOKEN #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT MUTCASE (patternsType,inductiveTerm,pattern*)>
+<!ATTLIST MUTCASE
+ uriType CDATA #REQUIRED
+ noType NMTOKEN #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT FIX (FixFunction+)>
+<!ATTLIST FIX
+ noFun NMTOKEN #REQUIRED
+ id ID #REQUIRED>
+
+<!ELEMENT COFIX (CofixFunction+)>
+<!ATTLIST COFIX
+ noFun NMTOKEN #REQUIRED
+ id ID #REQUIRED>
+
+<!-- Elements used in CIC terms: -->
+
+<!ELEMENT FixFunction (type,body)>
+<!ATTLIST FixFunction
+ name CDATA #REQUIRED
+ recIndex NMTOKEN #REQUIRED>
+
+<!ELEMENT CofixFunction (type,body)>
+<!ATTLIST CofixFunction
+ name CDATA #REQUIRED>
+
+<!-- Sintactic sugar for CIC terms and for CIC objects: -->
+
+<!ELEMENT source %term;>
+
+<!ELEMENT target %term;>
+<!ATTLIST target
+ binder CDATA #IMPLIED>
+
+<!ELEMENT term %term;>
+
+<!ELEMENT type %term;>
+
+<!ELEMENT arity %term;>
+
+<!ELEMENT patternsType %term;>
+
+<!ELEMENT inductiveTerm %term;>
+
+<!ELEMENT pattern %term;>
+
+<!ELEMENT body %term;>
diff --git a/helm/dtd/cicobject.dtd b/helm/dtd/cicobject.dtd
new file mode 100644
index 000000000..1d9917b10
--- /dev/null
+++ b/helm/dtd/cicobject.dtd
@@ -0,0 +1,97 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR CIC OBJECTS AT LEVEL OF MATHML CONTENT: -->
+<!-- First draft: March 21, Claudio Sacerdoti Coen, Irene Schena -->
+<!--*****************************************************************-->
+
+<!ENTITY % mathml SYSTEM "mathml2.dtd">
+
+%mathml;
+
+<!ENTITY % term '(annotation|%math.qname;)'>
+
+<!-- Terms: -->
+
+<!ELEMENT annotation (#PCDATA|annotation|%math.qname;)*>
+<!ATTLIST annotation
+ xmlns:m CDATA #REQUIRED>
+
+<!-- CIC objects: -->
+
+<!ELEMENT Definition (Params,body,type)>
+<!ATTLIST Definition
+ name CDATA #REQUIRED
+ xmlns:m CDATA #REQUIRED>
+
+<!ELEMENT Axiom (Params,type)>
+<!ATTLIST Axiom
+ name CDATA #REQUIRED
+ xmlns:m CDATA #REQUIRED>
+
+<!ELEMENT CurrentProof (Conjecture*,body,type)>
+<!ATTLIST CurrentProof
+ name CDATA #REQUIRED
+ xmlns:m CDATA #REQUIRED>
+
+<!ELEMENT InductiveDefinition (Params,Param*,InductiveType+)>
+<!ATTLIST InductiveDefinition
+ xmlns:m CDATA #REQUIRED>
+
+<!ELEMENT Variable (type)>
+<!ATTLIST Variable
+ name CDATA #REQUIRED
+ xmlns:m CDATA #REQUIRED>
+
+<!-- Elements used in CIC objects, which are not terms: -->
+
+<!ELEMENT InductiveType (arity,Constructor*)>
+<!ATTLIST InductiveType
+ name CDATA #REQUIRED
+ inductive (true|false) #REQUIRED>
+
+<!ELEMENT Conjecture %term;>
+<!ATTLIST Conjecture
+ no NMTOKEN #REQUIRED>
+
+<!ELEMENT Constructor %term;>
+<!ATTLIST Constructor
+ name CDATA #REQUIRED>
+
+<!ELEMENT Param %term;>
+<!ATTLIST Param
+ name CDATA #REQUIRED>
+
+<!ELEMENT Params (#PCDATA)*>
+
+<!-- Sintactic sugar for CIC objects: -->
+
+<!ELEMENT type %term;>
+
+<!ELEMENT arity %term;>
+
+<!ELEMENT body %term;>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/helm/dtd/isoamsa.ent b/helm/dtd/isoamsa.ent
new file mode 100644
index 000000000..5ecf4db21
--- /dev/null
+++ b/helm/dtd/isoamsa.ent
@@ -0,0 +1,173 @@
+
+<!--
+ File isoamsa.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 angzarr "⍼" ><!--angle with down zig-zag arrow -->
+<!ENTITY cirmid "⫯" ><!--circle, mid below -->
+<!ENTITY cudarrl "⤸" ><!--left, curved, down arrow -->
+<!ENTITY cudarrr "⤵" ><!--right, curved, down arrow -->
+<!ENTITY cularr "↶" ><!--/curvearrowleft A: left curved arrow -->
+<!ENTITY cularrp "⤽" ><!--curved left arrow with plus -->
+<!ENTITY curarr "↷" ><!--/curvearrowright A: rt curved arrow -->
+<!ENTITY curarrm "⤼" ><!--curved right arrow with minus -->
+<!ENTITY dArr "⇓" ><!--/Downarrow A: down dbl arrow -->
+<!ENTITY Darr "↡" ><!--down two-headed arrow -->
+<!ENTITY ddarr "⇊" ><!--/downdownarrows A: two down arrows -->
+<!ENTITY DDotrahd "⤑" ><!--right arrow with dotted stem -->
+<!ENTITY dfisht "⥿" ><!--down fish tail -->
+<!ENTITY dHar "⥥" ><!--down harpoon-left, down harpoon-right -->
+<!ENTITY dharl "⇃" ><!--/downharpoonleft A: dn harpoon-left -->
+<!ENTITY dharr "⇂" ><!--/downharpoonright A: down harpoon-rt -->
+<!ENTITY duarr "⇵" ><!--down arrow, up arrow -->
+<!ENTITY duhar "⥯" ><!--down harp, up harp -->
+<!ENTITY dzigrarr "⇝" ><!--right long zig-zag arrow -->
+<!ENTITY erarr "⥱" ><!--equal, right arrow below -->
+<!ENTITY harr "↔" ><!--/leftrightarrow A: l&r arrow -->
+<!ENTITY hArr "⇔" ><!--/Leftrightarrow A: l&r dbl arrow -->
+<!ENTITY harrcir "⥈" ><!--left and right arrow with a circle -->
+<!ENTITY harrw "↭" ><!--/leftrightsquigarrow A: l&r arr-wavy -->
+<!ENTITY hoarr "⇿" ><!--horizontal open arrow -->
+<!ENTITY imof "⊷" ><!--image of -->
+<!ENTITY lAarr "⇚" ><!--/Lleftarrow A: left triple arrow -->
+<!ENTITY Larr "↞" ><!--/twoheadleftarrow A: -->
+<!ENTITY larrbfs "⤟" ><!--left arrow-bar, filled square -->
+<!ENTITY larrfs "⤝" ><!--left arrow, filled square -->
+<!ENTITY larrhk "↩" ><!--/hookleftarrow A: left arrow-hooked -->
+<!ENTITY larrlp "↫" ><!--/looparrowleft A: left arrow-looped -->
+<!ENTITY larrpl "⤹" ><!--left arrow, plus -->
+<!ENTITY larrsim "⥳" ><!--left arrow, similar -->
+<!ENTITY larrtl "↢" ><!--/leftarrowtail A: left arrow-tailed -->
+<!ENTITY latail "⤙" ><!--left arrow-tail -->
+<!ENTITY lAtail "⤛" ><!--left double arrow-tail -->
+<!ENTITY lbarr "⤌" ><!--left broken arrow -->
+<!ENTITY lBarr "⤎" ><!--left doubly broken arrow -->
+<!ENTITY ldca "⤶" ><!--left down curved arrow -->
+<!ENTITY ldrdhar "⥧" ><!--left harpoon-down over right harpoon-down -->
+<!ENTITY ldrushar "⥋" ><!--left-down-right-up harpoon -->
+<!ENTITY ldsh "↲" ><!--left down angled arrow -->
+<!ENTITY lfisht "⥼" ><!--left fish tail -->
+<!ENTITY lHar "⥢" ><!--left harpoon-up over left harpoon-down -->
+<!ENTITY lhard "↽" ><!--/leftharpoondown A: l harpoon-down -->
+<!ENTITY lharu "↼" ><!--/leftharpoonup A: left harpoon-up -->
+<!ENTITY lharul "⥪" ><!--left harpoon-up over long dash -->
+<!ENTITY llarr "⇇" ><!--/leftleftarrows A: two left arrows -->
+<!ENTITY llhard "⥫" ><!--left harpoon-down below long dash -->
+<!ENTITY loarr "⇽" ><!--left open arrow -->
+<!ENTITY lrarr "⇆" ><!--/leftrightarrows A: l arr over r arr -->
+<!ENTITY lrhar "⇋" ><!--/leftrightharpoons A: l harp over r -->
+<!ENTITY lrhard "⥭" ><!--right harpoon-down below long dash -->
+<!ENTITY lsh "↰" ><!--/Lsh A: -->
+<!ENTITY lurdshar "⥊" ><!--left-up-right-down harpoon -->
+<!ENTITY luruhar "⥦" ><!--left harpoon-up over right harpoon-up -->
+<!ENTITY map "↦" ><!--/mapsto A: -->
+<!ENTITY Map "⤅" ><!--twoheaded mapsto -->
+<!ENTITY midcir "⫰" ><!--mid, circle below -->
+<!ENTITY mumap "⊸" ><!--/multimap A: -->
+<!ENTITY nearhk "⤤" ><!--NE arrow-hooked -->
+<!ENTITY nearr "↗" ><!--/nearrow A: NE pointing arrow -->
+<!ENTITY neArr "⇗" ><!--NE pointing dbl arrow -->
+<!ENTITY nesear "⤨" ><!--/toea A: NE & SE arrows -->
+<!ENTITY nharr "↮" ><!--/nleftrightarrow A: not l&r arrow -->
+<!ENTITY nhArr "⇎" ><!--/nLeftrightarrow A: not l&r dbl arr -->
+<!ENTITY nlarr "↚" ><!--/nleftarrow A: not left arrow -->
+<!ENTITY nlArr "⇍" ><!--/nLeftarrow A: not implied by -->
+<!ENTITY nrarr "↛" ><!--/nrightarrow A: not right arrow -->
+<!ENTITY nrArr "⇏" ><!--/nRightarrow A: not implies -->
+<!ENTITY nrarrc "⤳̸" ><!--not right arrow-curved -->
+<!ENTITY nrarrw "↝̸" ><!--not right arrow-wavy -->
+<!ENTITY nvHarr "⇎" ><!--not, vert, left and right double arrow -->
+<!ENTITY nvlArr "⇍" ><!--not, vert, left double arrow -->
+<!ENTITY nvrArr "⇏" ><!--not, vert, right double arrow -->
+<!ENTITY nwarhk "⤣" ><!--NW arrow-hooked -->
+<!ENTITY nwarr "↖" ><!--/nwarrow A: NW pointing arrow -->
+<!ENTITY nwArr "⇖" ><!--NW pointing dbl arrow -->
+<!ENTITY nwnear "⤧" ><!--NW & NE arrows -->
+<!ENTITY olarr "↺" ><!--/circlearrowleft A: l arr in circle -->
+<!ENTITY orarr "↻" ><!--/circlearrowright A: r arr in circle -->
+<!ENTITY origof "⊶" ><!--original of -->
+<!ENTITY rAarr "⇛" ><!--/Rrightarrow A: right triple arrow -->
+<!ENTITY Rarr "↠" ><!--/twoheadrightarrow A: -->
+<!ENTITY rarrap "⥵" ><!--approximate, right arrow above -->
+<!ENTITY rarrbfs "⤠" ><!--right arrow-bar, filled square -->
+<!ENTITY rarrc "⤳" ><!--right arrow-curved -->
+<!ENTITY rarrfs "⤞" ><!--right arrow, filled square -->
+<!ENTITY rarrhk "↪" ><!--/hookrightarrow A: rt arrow-hooked -->
+<!ENTITY rarrlp "↬" ><!--/looparrowright A: rt arrow-looped -->
+<!ENTITY rarrpl "⥅" ><!--right arrow, plus -->
+<!ENTITY rarrsim "⥴" ><!--right arrow, similar -->
+<!ENTITY rarrtl "↣" ><!--/rightarrowtail A: rt arrow-tailed -->
+<!ENTITY Rarrtl "⤖" ><!--right two-headed arrow with tail -->
+<!ENTITY rarrw "⇝" ><!--/rightsquigarrow A: rt arrow-wavy -->
+<!ENTITY ratail "↣" ><!--right arrow-tail -->
+<!ENTITY rAtail "⤜" ><!--right double arrow-tail -->
+<!ENTITY rbarr "⤍" ><!--/bkarow A: right broken arrow -->
+<!ENTITY rBarr "⤏" ><!--/dbkarow A: right doubly broken arrow -->
+<!ENTITY RBarr "⤐" ><!--/drbkarow A: twoheaded right broken arrow -->
+<!ENTITY rdca "⤷" ><!--right down curved arrow -->
+<!ENTITY rdldhar "⥩" ><!--right harpoon-down over left harpoon-down -->
+<!ENTITY rdsh "↳" ><!--right down angled arrow -->
+<!ENTITY rfisht "⥽" ><!--right fish tail -->
+<!ENTITY rHar "⥤" ><!--right harpoon-up over right harpoon-down -->
+<!ENTITY rhard "⇁" ><!--/rightharpoondown A: rt harpoon-down -->
+<!ENTITY rharu "⇀" ><!--/rightharpoonup A: rt harpoon-up -->
+<!ENTITY rharul "⥬" ><!--right harpoon-up over long dash -->
+<!ENTITY rlarr "⇄" ><!--/rightleftarrows A: r arr over l arr -->
+<!ENTITY rlhar "⇌" ><!--/rightleftharpoons A: r harp over l -->
+<!ENTITY roarr "⇾" ><!--right open arrow -->
+<!ENTITY rrarr "⇉" ><!--/rightrightarrows A: two rt arrows -->
+<!ENTITY rsh "↱" ><!--/Rsh A: -->
+<!ENTITY ruluhar "⥨" ><!--right harpoon-up over left harpoon-up -->
+<!ENTITY searhk "⤥" ><!--/hksearow A: SE arrow-hooken -->
+<!ENTITY searr "↘" ><!--/searrow A: SE pointing arrow -->
+<!ENTITY seArr "⇘" ><!--SE pointing dbl arrow -->
+<!ENTITY seswar "⤩" ><!--/tosa A: SE & SW arrows -->
+<!ENTITY simrarr "⥲" ><!--similar, right arrow below -->
+<!ENTITY slarr "←⁣" ><!--short left arrow -->
+<!ENTITY srarr "→⁣" ><!--short right arrow -->
+<!ENTITY swarhk "⤦" ><!--/hkswarow A: SW arrow-hooked -->
+<!ENTITY swarr "↙" ><!--/swarrow A: SW pointing arrow -->
+<!ENTITY swArr "⇙" ><!--SW pointing dbl arrow -->
+<!ENTITY swnwar "⤪" ><!--SW & NW arrows -->
+<!ENTITY uArr "⇑" ><!--/Uparrow A: up dbl arrow -->
+<!ENTITY Uarr "↟" ><!--up two-headed arrow -->
+<!ENTITY Uarrocir "⥉" ><!--up two-headed arrow above circle -->
+<!ENTITY udarr "⇅" ><!--up arrow, down arrow -->
+<!ENTITY udhar "⥮" ><!--up harp, down harp -->
+<!ENTITY ufisht "⥾" ><!--up fish tail -->
+<!ENTITY uHar "⥣" ><!--up harpoon-left, up harpoon-right -->
+<!ENTITY uharl "↿" ><!--/upharpoonleft A: up harpoon-left -->
+<!ENTITY uharr "↾" ><!--/upharpoonright /restriction A: up harp-r -->
+<!ENTITY uuarr "⇈" ><!--/upuparrows A: two up arrows -->
+<!ENTITY varr "↕" ><!--/updownarrow A: up&down arrow -->
+<!ENTITY vArr "⇕" ><!--/Updownarrow A: up&down dbl arrow -->
+<!ENTITY xharr "↔" ><!--/longleftrightarrow A: long l&r arr -->
+<!ENTITY xhArr "⇔" ><!--/Longleftrightarrow A: long l&r dbl arr -->
+<!ENTITY xlarr "←" ><!--/longleftarrow A: long left arrow -->
+<!ENTITY xlArr "⇐" ><!--/Longleftarrow A: long l dbl arrow -->
+<!ENTITY xmap "↦" ><!--/longmapsto A: -->
+<!ENTITY xrarr "→" ><!--/longrightarrow A: long right arrow -->
+<!ENTITY xrArr "⇒" ><!--/Longrightarrow A: long rt dbl arr -->
+<!ENTITY zigrarr "⇝" ><!--right zig-zag arrow -->
diff --git a/helm/dtd/isoamsb.ent b/helm/dtd/isoamsb.ent
new file mode 100644
index 000000000..08e646c2b
--- /dev/null
+++ b/helm/dtd/isoamsb.ent
@@ -0,0 +1,146 @@
+
+<!--
+ File isoamsb.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 ac "⤏" ><!--most positive -->
+<!ENTITY acE "⧛" ><!--most positive, two lines below -->
+<!ENTITY amalg "⨿" ><!--/amalg B: amalgamation or coproduct -->
+<!ENTITY barvee "⊽" ><!--bar, vee -->
+<!ENTITY barwed "⊼" ><!--/barwedge B: logical and, bar above -->
+<!ENTITY Barwed "⌆" ><!--/doublebarwedge B: log and, dbl bar above -->
+<!ENTITY bsolb "⧅" ><!--reverse solidus in square -->
+<!ENTITY Cap "⋒" ><!--/Cap /doublecap B: dbl intersection -->
+<!ENTITY capand "⩄" ><!--intersection, and -->
+<!ENTITY capbrcup "⩉" ><!--intersection, bar, union -->
+<!ENTITY capcap "⩋" ><!--intersection, intersection, joined -->
+<!ENTITY capcup "⩇" ><!--intersection above union -->
+<!ENTITY capdot "⩀" ><!--intersection, with dot -->
+<!ENTITY caps "∩⁣" ><!--intersection, serifs -->
+<!ENTITY ccaps "⩍" ><!--closed intersection, serifs -->
+<!ENTITY ccups "⩌" ><!--closed union, serifs -->
+<!ENTITY ccupssm "⩐" ><!--closed union, serifs, smash product -->
+<!ENTITY coprod "∐" ><!--/coprod L: coproduct operator -->
+<!ENTITY Cup "⋓" ><!--/Cup /doublecup B: dbl union -->
+<!ENTITY cupbrcap "⩈" ><!--union, bar, intersection -->
+<!ENTITY cupcap "⩆" ><!--union above intersection -->
+<!ENTITY cupcup "⩊" ><!--union, union, joined -->
+<!ENTITY cupdot "⊍" ><!--union, with dot -->
+<!ENTITY cupor "⩅" ><!--union, or -->
+<!ENTITY cups "∪⁣" ><!--union, serifs -->
+<!ENTITY cuvee "⋎" ><!--/curlyvee B: curly logical or -->
+<!ENTITY cuwed "⋏" ><!--/curlywedge B: curly logical and -->
+<!ENTITY dagger "†" ><!--/dagger B: dagger relation -->
+<!ENTITY Dagger "‡" ><!--/ddagger B: double dagger relation -->
+<!ENTITY diam "⋄" ><!--/diamond B: open diamond -->
+<!ENTITY divonx "⋇" ><!--/divideontimes B: division on times -->
+<!ENTITY eplus "⩱" ><!--equal, plus -->
+<!ENTITY hercon "⊹" ><!--hermitian conjugate matrix -->
+<!ENTITY intcal "⊺" ><!--/intercal B: intercal -->
+<!ENTITY iprod "⨼" ><!--/intprod -->
+<!ENTITY loplus "⨭" ><!--plus sign in left half circle -->
+<!ENTITY lotimes "⨴" ><!--multiply sign in left half circle -->
+<!ENTITY lthree "⋋" ><!--/leftthreetimes B: -->
+<!ENTITY ltimes "⋉" ><!--/ltimes B: times sign, left closed -->
+<!ENTITY midast "*" ><!--/ast B: asterisk -->
+<!ENTITY minusb "⊟" ><!--/boxminus B: minus sign in box -->
+<!ENTITY minusd "∸" ><!--/dotminus B: minus sign, dot above -->
+<!ENTITY minusdu "⨪" ><!--minus sign, dot below -->
+<!ENTITY ncap "⩃" ><!--bar, intersection -->
+<!ENTITY ncup "⩂" ><!--bar, union -->
+<!ENTITY oast "⊛" ><!--/circledast B: asterisk in circle -->
+<!ENTITY ocir "⊚" ><!--/circledcirc B: small circle in circle -->
+<!ENTITY odash "⊝" ><!--/circleddash B: hyphen in circle -->
+<!ENTITY odiv "⨸" ><!--divide in circle -->
+<!ENTITY odot "⊙" ><!--/odot B: middle dot in circle -->
+<!ENTITY odsold "⦼" ><!--dot, solidus, dot in circle -->
+<!ENTITY ofcir "⦿" ><!--filled circle in circle -->
+<!ENTITY ogt "⧁" ><!--greater-than in circle -->
+<!ENTITY ohbar "⦵" ><!--circle with horizontal bar -->
+<!ENTITY olcir "⦾" ><!--large circle in circle -->
+<!ENTITY olt "⧀" ><!--less-than in circle -->
+<!ENTITY omid "⦶" ><!--vertical bar in circle -->
+<!ENTITY ominus "⊖" ><!--/ominus B: minus sign in circle -->
+<!ENTITY opar "⦷" ><!--parallel in circle -->
+<!ENTITY operp "⦹" ><!--perpendicular in circle -->
+<!ENTITY oplus "⊕" ><!--/oplus B: plus sign in circle -->
+<!ENTITY osol "⊘" ><!--/oslash B: solidus in circle -->
+<!ENTITY otimes "⊗" ><!--/otimes B: multiply sign in circle -->
+<!ENTITY Otimes "⨷" ><!--multiply sign in double circle -->
+<!ENTITY otimesas "⨶" ><!--multiply sign in circle, circumflex accent -->
+<!ENTITY ovbar "⌽" ><!--circle with vertical bar -->
+<!ENTITY plusacir "⨣" ><!--plus, circumflex accent above -->
+<!ENTITY plusb "⊞" ><!--/boxplus B: plus sign in box -->
+<!ENTITY pluscir "⨢" ><!--plus, small circle above -->
+<!ENTITY plusdo "∔" ><!--/dotplus B: plus sign, dot above -->
+<!ENTITY plusdu "⨥" ><!--plus sign, dot below -->
+<!ENTITY pluse "⩲" ><!--plus, equals -->
+<!ENTITY plussim "⨦" ><!--plus, similar below -->
+<!ENTITY plustwo "⨧" ><!--plus, two; Nim-addition -->
+<!ENTITY prod "∏" ><!--/prod L: product operator -->
+<!ENTITY race "⧚" ><!--reverse most positive, line below -->
+<!ENTITY roplus "⨮" ><!--plus sign in right half circle -->
+<!ENTITY rotimes "⨵" ><!--multiply sign in right half circle -->
+<!ENTITY rthree "⋌" ><!--/rightthreetimes B: -->
+<!ENTITY rtimes "⋊" ><!--/rtimes B: times sign, right closed -->
+<!ENTITY sdot "⋅" ><!--/cdot B: small middle dot -->
+<!ENTITY sdotb "⊡" ><!--/dotsquare /boxdot B: small dot in box -->
+<!ENTITY setmn "∖" ><!--/setminus B: reverse solidus -->
+<!ENTITY simplus "⨤" ><!--plus, similar above -->
+<!ENTITY smashp "⨳" ><!--smash product -->
+<!ENTITY solb "⧄" ><!--solidus in square -->
+<!ENTITY sqcap "⊓" ><!--/sqcap B: square intersection -->
+<!ENTITY sqcaps "⊓⁣" ><!--square intersection, serifs -->
+<!ENTITY sqcup "⊔" ><!--/sqcup B: square union -->
+<!ENTITY sqcups "⊔⁣" ><!--square union, serifs -->
+<!ENTITY ssetmn "∖" ><!--/smallsetminus B: sm reverse solidus -->
+<!ENTITY sstarf "⋆" ><!--/star B: small star, filled -->
+<!ENTITY subdot "⪽" ><!--subset, with dot -->
+<!ENTITY sum "∑" ><!--/sum L: summation operator -->
+<!ENTITY supdot "⪾" ><!--superset, with dot -->
+<!ENTITY timesb "⊠" ><!--/boxtimes B: multiply sign in box -->
+<!ENTITY timesbar "⨱" ><!--multiply sign, bar below -->
+<!ENTITY timesd "⨰" ><!--times, dot -->
+<!ENTITY tridot "◬" ><!--dot in triangle -->
+<!ENTITY triminus "⨺" ><!--minus in triangle -->
+<!ENTITY triplus "⨹" ><!--plus in triangle -->
+<!ENTITY trisb "⧍" ><!--triangle, serifs at bottom -->
+<!ENTITY tritime "⨻" ><!--multiply in triangle -->
+<!ENTITY uplus "⊎" ><!--/uplus B: plus sign in union -->
+<!ENTITY veebar "⊻" ><!--/veebar B: logical or, bar below -->
+<!ENTITY wedbar "⩟" ><!--wedge, bar below -->
+<!ENTITY wreath "≀" ><!--/wr B: wreath product -->
+<!ENTITY xcap "⋂" ><!--/bigcap L: intersection operator -->
+<!ENTITY xcirc "◯" ><!--/bigcirc B: large circle -->
+<!ENTITY xcup "⋃" ><!--/bigcup L: union operator -->
+<!ENTITY xdtri "▽" ><!--/bigtriangledown B: big dn tri, open -->
+<!ENTITY xodot "⊙" ><!--/bigodot L: circle dot operator -->
+<!ENTITY xoplus "⊕" ><!--/bigoplus L: circle plus operator -->
+<!ENTITY xotime "⊗" ><!--/bigotimes L: circle times operator -->
+<!ENTITY xsqcup "⊔" ><!--/bigsqcup L: square union operator -->
+<!ENTITY xuplus "⊎" ><!--/biguplus L: -->
+<!ENTITY xutri "△" ><!--/bigtriangleup B: big up tri, open -->
+<!ENTITY xvee "⋁" ><!--/bigvee L: logical and operator -->
+<!ENTITY xwedge "⋀" ><!--/bigwedge L: logical or operator -->
diff --git a/helm/dtd/isoamsc.ent b/helm/dtd/isoamsc.ent
new file mode 100644
index 000000000..cce399cf9
--- /dev/null
+++ b/helm/dtd/isoamsc.ent
@@ -0,0 +1,49 @@
+
+<!--
+ File isoamsc.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 dlcorn "⌞" ><!--/llcorner O: lower left corner -->
+<!ENTITY drcorn "⌟" ><!--/lrcorner C: lower right corner -->
+<!ENTITY gtlPar "⦕" ><!--dbl left parenthesis, greater -->
+<!ENTITY langd "⦑" ><!--left angle, dot -->
+<!ENTITY lbrke "⦋" ><!--left bracket, equal -->
+<!ENTITY lbrksld "⦏" ><!--left bracket, solidus bottom corner -->
+<!ENTITY lbrkslu "⦍" ><!--left bracket, solidus top corner -->
+<!ENTITY lceil "⌈" ><!--/lceil O: left ceiling -->
+<!ENTITY lfloor "⌊" ><!--/lfloor O: left floor -->
+<!ENTITY lmoust "⦘" ><!--/lmoustache -->
+<!ENTITY lparlt "⦓" ><!--O: left parenthesis, lt -->
+<!ENTITY ltrPar "⦖" ><!--dbl right parenthesis, less -->
+<!ENTITY rangd "⦒" ><!--right angle, dot -->
+<!ENTITY rbrke "⦌" ><!--right bracket, equal -->
+<!ENTITY rbrksld "⦎" ><!--right bracket, solidus bottom corner -->
+<!ENTITY rbrkslu "⦐" ><!--right bracket, solidus top corner -->
+<!ENTITY rceil "⌉" ><!--/rceil C: right ceiling -->
+<!ENTITY rfloor "⌋" ><!--/rfloor C: right floor -->
+<!ENTITY rmoust "⦗" ><!--/rmoustache -->
+<!ENTITY rpargt "⦔" ><!--C: right paren, gt -->
+<!ENTITY ulcorn "⌜" ><!--/ulcorner O: upper left corner -->
+<!ENTITY urcorn "⌝" ><!--/urcorner C: upper right corner -->
diff --git a/helm/dtd/isoamsn.ent b/helm/dtd/isoamsn.ent
new file mode 100644
index 000000000..cddeba066
--- /dev/null
+++ b/helm/dtd/isoamsn.ent
@@ -0,0 +1,117 @@
+
+<!--
+ File isoamsn.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 gnap "⪊" ><!--/gnapprox N: greater, not approximate -->
+<!ENTITY gne "≩" ><!--/gneq N: greater, not equals -->
+<!ENTITY gnE "≩" ><!--/gneqq N: greater, not dbl equals -->
+<!ENTITY gnsim "⋧" ><!--/gnsim N: greater, not similar -->
+<!ENTITY gvnE "≩̸" ><!--/gvertneqq N: gt, vert, not dbl eq -->
+<!ENTITY lnap "⪉" ><!--/lnapprox N: less, not approximate -->
+<!ENTITY lne "≨" ><!--/lneq N: less, not equals -->
+<!ENTITY lnE "≨" ><!--/lneqq N: less, not double equals -->
+<!ENTITY lnsim "⋦" ><!--/lnsim N: less, not similar -->
+<!ENTITY lvnE "≨̸" ><!--/lvertneqq N: less, vert, not dbl eq -->
+<!ENTITY nap "≉" ><!--/napprox N: not approximate -->
+<!ENTITY napE "⩰̸" ><!--not approximately equal or equal to -->
+<!ENTITY napid "≋̸" ><!--not approximately identical to -->
+<!ENTITY ncong "≇" ><!--/ncong N: not congruent with -->
+<!ENTITY ncongdot "⩭̸" ><!--not congruent, dot -->
+<!ENTITY nequiv "≢" ><!--/nequiv N: not identical with -->
+<!ENTITY nge "≱⃥" ><!--/ngeq N: not greater-than-or-equal -->
+<!ENTITY ngE "≱" ><!--/ngeqq N: not greater, dbl equals -->
+<!ENTITY nges "≱" ><!--/ngeqslant N: not gt-or-eq, slanted -->
+<!ENTITY nGg "⋙̸" ><!--not triple greater than -->
+<!ENTITY ngsim "≵" ><!--not greater, similar -->
+<!ENTITY ngt "≯" ><!--/ngtr N: not greater-than -->
+<!ENTITY nGt "≫̸" ><!--not, vert, much greater than -->
+<!ENTITY nGtv "≫̸⁣" ><!--not much greater than, variant -->
+<!ENTITY nle "≰⃥" ><!--/nleq N: not less-than-or-equal -->
+<!ENTITY nlE "≰" ><!--/nleqq N: not less, dbl equals -->
+<!ENTITY nles "≰" ><!--/nleqslant N: not less-or-eq, slant -->
+<!ENTITY nLl "⋘̸" ><!--not triple less than -->
+<!ENTITY nlsim "≴" ><!--not less, similar -->
+<!ENTITY nlt "≮" ><!--/nless N: not less-than -->
+<!ENTITY nLt "≪̸" ><!--not, vert, much less than -->
+<!ENTITY nltri "⋪" ><!--/ntriangleleft N: not left triangle -->
+<!ENTITY nltrie "⋬" ><!--/ntrianglelefteq N: not l tri, eq -->
+<!ENTITY nLtv "≪̸⁣" ><!--not much less than, variant -->
+<!ENTITY nmid "∤" ><!--/nmid -->
+<!ENTITY npar "∦" ><!--/nparallel N: not parallel -->
+<!ENTITY npr "⊀" ><!--/nprec N: not precedes -->
+<!ENTITY nprcue "⋠" ><!--not curly precedes, eq -->
+<!ENTITY npre "⪯̸" ><!--/npreceq N: not precedes, equals -->
+<!ENTITY nrtri "⋫" ><!--/ntriangleright N: not rt triangle -->
+<!ENTITY nrtrie "⋭" ><!--/ntrianglerighteq N: not r tri, eq -->
+<!ENTITY nsc "⊁" ><!--/nsucc N: not succeeds -->
+<!ENTITY nsccue "⋡" ><!--not succeeds, curly eq -->
+<!ENTITY nsce "⪰̸" ><!--/nsucceq N: not succeeds, equals -->
+<!ENTITY nsim "≁" ><!--/nsim N: not similar -->
+<!ENTITY nsime "≄" ><!--/nsimeq N: not similar, equals -->
+<!ENTITY nsmid "∤⁣" ><!--/nshortmid -->
+<!ENTITY nspar "∦⁣" ><!--/nshortparallel N: not short par -->
+<!ENTITY nsqsube "⋢" ><!--not, square subset, equals -->
+<!ENTITY nsqsupe "⋣" ><!--not, square superset, equals -->
+<!ENTITY nsub "⊄" ><!--not subset -->
+<!ENTITY nsube "⊈" ><!--/nsubseteq N: not subset, equals -->
+<!ENTITY nsubE "⊈" ><!--/nsubseteqq N: not subset, dbl eq -->
+<!ENTITY nsup "⊅" ><!--not superset -->
+<!ENTITY nsupe "⊉" ><!--/nsupseteq N: not superset, equals -->
+<!ENTITY nsupE "⊉" ><!--/nsupseteqq N: not superset, dbl eq -->
+<!ENTITY ntgl "≹" ><!--not greater, less -->
+<!ENTITY ntlg "≸" ><!--not less, greater -->
+<!ENTITY nvap "≉̸" ><!--not, vert, approximate -->
+<!ENTITY nvdash "⊬" ><!--/nvdash N: not vertical, dash -->
+<!ENTITY nvDash "⊭" ><!--/nvDash N: not vertical, dbl dash -->
+<!ENTITY nVdash "⊮" ><!--/nVdash N: not dbl vertical, dash -->
+<!ENTITY nVDash "⊯" ><!--/nVDash N: not dbl vert, dbl dash -->
+<!ENTITY nvge "≱" ><!--not, vert, greater-than-or-equal -->
+<!ENTITY nvgt "≯" ><!--not, vert, greater-than -->
+<!ENTITY nvle "≰" ><!--not, vert, less-than-or-equal -->
+<!ENTITY nvlt "≮" ><!--not, vert, less-than -->
+<!ENTITY nvltrie "⋬̸" ><!--not, vert, left triangle, equals -->
+<!ENTITY nvrtrie "⋭̸" ><!--not, vert, right triangle, equals -->
+<!ENTITY nvsim "≁̸" ><!--not, vert, similar -->
+<!ENTITY parsim "⫳" ><!--parallel, similar -->
+<!ENTITY prnap "⋨" ><!--/precnapprox N: precedes, not approx -->
+<!ENTITY prnE "⪵" ><!--/precneqq N: precedes, not dbl eq -->
+<!ENTITY prnsim "⋨" ><!--/precnsim N: precedes, not similar -->
+<!ENTITY rnmid "⫮" ><!--reverse /nmid -->
+<!ENTITY scnap "⋩" ><!--/succnapprox N: succeeds, not approx -->
+<!ENTITY scnE "⪶" ><!--/succneqq N: succeeds, not dbl eq -->
+<!ENTITY scnsim "⋩" ><!--/succnsim N: succeeds, not similar -->
+<!ENTITY simne "≆" ><!--similar, not equals -->
+<!ENTITY solbar "⌿" ><!--solidus, bar through -->
+<!ENTITY subne "⊊" ><!--/subsetneq N: subset, not equals -->
+<!ENTITY subnE "⊊" ><!--/subsetneqq N: subset, not dbl eq -->
+<!ENTITY supne "⊋" ><!--/supsetneq N: superset, not equals -->
+<!ENTITY supnE "⊋" ><!--/supsetneqq N: superset, not dbl eq -->
+<!ENTITY vnsub "⊄" ><!--/nsubset N: not subset, var -->
+<!ENTITY vnsup "⊅" ><!--/nsupset N: not superset, var -->
+<!ENTITY vsubne "⊊⁣" ><!--/varsubsetneq N: subset, not eq, var -->
+<!ENTITY vsubnE "⊊⁣" ><!--/varsubsetneqq N: subset not dbl eq, var -->
+<!ENTITY vsupne "⊋⁣" ><!--/varsupsetneq N: superset, not eq, var -->
+<!ENTITY vsupnE "⊋⁣" ><!--/varsupsetneqq N: super not dbl eq, var -->
diff --git a/helm/dtd/isoamso.ent b/helm/dtd/isoamso.ent
new file mode 100644
index 000000000..8ac4bdb61
--- /dev/null
+++ b/helm/dtd/isoamso.ent
@@ -0,0 +1,77 @@
+
+<!--
+ File isoamso.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 ang "∠" ><!--/angle - angle -->
+<!ENTITY ange "⦤" ><!--angle, equal -->
+<!ENTITY angmsd "∡" ><!--/measuredangle - angle-measured -->
+<!ENTITY angmsdaa "⦨" ><!--angle-measured, arrow, up, right -->
+<!ENTITY angmsdab "⦩" ><!--angle-measured, arrow, up, left -->
+<!ENTITY angmsdac "⦪" ><!--angle-measured, arrow, down, right -->
+<!ENTITY angmsdad "⦫" ><!--angle-measured, arrow, down, left -->
+<!ENTITY angmsdae "⦬" ><!--angle-measured, arrow, right, up -->
+<!ENTITY angmsdaf "⦭" ><!--angle-measured, arrow, left, up -->
+<!ENTITY angmsdag "⦮" ><!--angle-measured, arrow, right, down -->
+<!ENTITY angmsdah "⦯" ><!--angle-measured, arrow, left, down -->
+<!ENTITY angrtvb "⦝⁣" ><!--right angle-measured -->
+<!ENTITY angrtvbd "⦝" ><!--right angle-measured, dot -->
+<!ENTITY bbrk "⎵" ><!--bottom square bracket -->
+<!ENTITY bemptyv "⦰" ><!--reversed circle, slash -->
+<!ENTITY beth "ℶ" ><!--/beth - beth, Hebrew -->
+<!ENTITY boxbox "⧉" ><!--two joined squares -->
+<!ENTITY bprime "‵" ><!--/backprime - reverse prime -->
+<!ENTITY bsemi "⁏" ><!--reverse semi-colon -->
+<!ENTITY cemptyv "⦲" ><!--circle, slash, small circle above -->
+<!ENTITY cirE "⧃" ><!--circle, two horizontal stroked to the right -->
+<!ENTITY cirscir "⧂" ><!--circle, small circle to the right -->
+<!ENTITY comp "∁" ><!--/complement - complement sign -->
+<!ENTITY daleth "ℸ" ><!--/daleth - daleth, Hebrew -->
+<!ENTITY demptyv "⦱" ><!--circle, slash, bar above -->
+<!ENTITY ell "ℓ" ><!--/ell - cursive small l -->
+<!ENTITY empty "∅⁣" ><!--/emptyset - zero, slash -->
+<!ENTITY emptyv "∅" ><!--/varnothing - circle, slash -->
+<!ENTITY gimel "ℷ" ><!--/gimel - gimel, Hebrew -->
+<!ENTITY iiota "℩" ><!--inverted iota -->
+<!ENTITY image "ℑ" ><!--/Im - imaginary -->
+<!ENTITY imath "ı" ><!--/imath - small i, no dot -->
+<!ENTITY jmath "j⁣" ><!--/jmath - small j, no dot -->
+<!ENTITY laemptyv "⦴" ><!--circle, slash, left arrow above -->
+<!ENTITY lltri "◺" ><!--lower left triangle -->
+<!ENTITY lrtri "⊿" ><!--lower right triangle -->
+<!ENTITY mho "℧" ><!--/mho - conductance -->
+<!ENTITY nang "∠̸" ><!--not, vert, angle -->
+<!ENTITY nexist "∄" ><!--/nexists - negated exists -->
+<!ENTITY oS "Ⓢ" ><!--/circledS - capital S in circle -->
+<!ENTITY plank "ℏ" ><!--/hbar - Planck's over 2pi -->
+<!ENTITY plankv "ℏ" ><!--/hslash - variant Planck's over 2pi -->
+<!ENTITY raemptyv "⦳" ><!--circle, slash, right arrow above -->
+<!ENTITY range "⦥" ><!--reverse angle, equal -->
+<!ENTITY real "ℜ" ><!--/Re - real -->
+<!ENTITY tbrk "⎴" ><!--top square bracket -->
+<!ENTITY ultri "◸" ><!--upper left triangle -->
+<!ENTITY urtri "◹" ><!--upper right triangle -->
+<!ENTITY vzigzag "⦚" ><!--vertical zig-zag line -->
+<!ENTITY weierp "℘" ><!--/wp - Weierstrass p -->
diff --git a/helm/dtd/isoamsr.ent b/helm/dtd/isoamsr.ent
new file mode 100644
index 000000000..7fec58255
--- /dev/null
+++ b/helm/dtd/isoamsr.ent
@@ -0,0 +1,205 @@
+
+<!--
+ 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 -->
diff --git a/helm/dtd/isobox.ent b/helm/dtd/isobox.ent
new file mode 100644
index 000000000..630edc559
--- /dev/null
+++ b/helm/dtd/isobox.ent
@@ -0,0 +1,67 @@
+
+<!--
+ File isobox.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.
+
+-->
+
+<!ENTITY boxdl "┐" ><!--lower left quadrant -->
+<!ENTITY boxdL "╕" ><!--lower left quadrant -->
+<!ENTITY boxDl "╖" ><!--lower left quadrant -->
+<!ENTITY boxDL "╗" ><!--lower left quadrant -->
+<!ENTITY boxdr "┌" ><!--lower right quadrant -->
+<!ENTITY boxdR "╒" ><!--lower right quadrant -->
+<!ENTITY boxDr "╓" ><!--lower right quadrant -->
+<!ENTITY boxDR "╔" ><!--lower right quadrant -->
+<!ENTITY boxh "─" ><!--horizontal line -->
+<!ENTITY boxH "═" ><!--horizontal line -->
+<!ENTITY boxhd "┬" ><!--lower left and right quadrants -->
+<!ENTITY boxhD "╥" ><!--lower left and right quadrants -->
+<!ENTITY boxHd "╤" ><!--lower left and right quadrants -->
+<!ENTITY boxHD "╦" ><!--lower left and right quadrants -->
+<!ENTITY boxhu "┴" ><!--upper left and right quadrants -->
+<!ENTITY boxhU "╨" ><!--upper left and right quadrants -->
+<!ENTITY boxHu "╧" ><!--upper left and right quadrants -->
+<!ENTITY boxHU "╩" ><!--upper left and right quadrants -->
+<!ENTITY boxul "┘" ><!--upper left quadrant -->
+<!ENTITY boxuL "╛" ><!--upper left quadrant -->
+<!ENTITY boxUl "╜" ><!--upper left quadrant -->
+<!ENTITY boxUL "╝" ><!--upper left quadrant -->
+<!ENTITY boxur "└" ><!--upper right quadrant -->
+<!ENTITY boxuR "╘" ><!--upper right quadrant -->
+<!ENTITY boxUr "╙" ><!--upper right quadrant -->
+<!ENTITY boxUR "╚" ><!--upper right quadrant -->
+<!ENTITY boxv "│" ><!--vertical line -->
+<!ENTITY boxV "║" ><!--vertical line -->
+<!ENTITY boxvh "┼" ><!--all four quadrants -->
+<!ENTITY boxvH "╪" ><!--all four quadrants -->
+<!ENTITY boxVh "╫" ><!--all four quadrants -->
+<!ENTITY boxVH "╬" ><!--all four quadrants -->
+<!ENTITY boxvl "┤" ><!--upper and lower left quadrants -->
+<!ENTITY boxvL "╡" ><!--upper and lower left quadrants -->
+<!ENTITY boxVl "╢" ><!--upper and lower left quadrants -->
+<!ENTITY boxVL "╣" ><!--upper and lower left quadrants -->
+<!ENTITY boxvr "├" ><!--upper and lower right quadrants -->
+<!ENTITY boxvR "╞" ><!--upper and lower right quadrants -->
+<!ENTITY boxVr "╟" ><!--upper and lower right quadrants -->
+<!ENTITY boxVR "╠" ><!--upper and lower right quadrants -->
diff --git a/helm/dtd/isocyr1.ent b/helm/dtd/isocyr1.ent
new file mode 100644
index 000000000..4bcc9e416
--- /dev/null
+++ b/helm/dtd/isocyr1.ent
@@ -0,0 +1,94 @@
+
+<!--
+ File isocyr1.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.
+
+-->
+
+<!ENTITY acy "а" ><!--=small a, Cyrillic -->
+<!ENTITY Acy "А" ><!--=capital A, Cyrillic -->
+<!ENTITY bcy "б" ><!--=small be, Cyrillic -->
+<!ENTITY Bcy "Б" ><!--=capital BE, Cyrillic -->
+<!ENTITY chcy "ч" ><!--=small che, Cyrillic -->
+<!ENTITY CHcy "Ч" ><!--=capital CHE, Cyrillic -->
+<!ENTITY dcy "д" ><!--=small de, Cyrillic -->
+<!ENTITY Dcy "Д" ><!--=capital DE, Cyrillic -->
+<!ENTITY ecy "э" ><!--=small e, Cyrillic -->
+<!ENTITY Ecy "Э" ><!--=capital E, Cyrillic -->
+<!ENTITY fcy "ф" ><!--=small ef, Cyrillic -->
+<!ENTITY Fcy "Ф" ><!--=capital EF, Cyrillic -->
+<!ENTITY gcy "г" ><!--=small ghe, Cyrillic -->
+<!ENTITY Gcy "Г" ><!--=capital GHE, Cyrillic -->
+<!ENTITY hardcy "ъ" ><!--=small hard sign, Cyrillic -->
+<!ENTITY HARDcy "Ъ" ><!--=capital HARD sign, Cyrillic -->
+<!ENTITY icy "и" ><!--=small i, Cyrillic -->
+<!ENTITY Icy "И" ><!--=capital I, Cyrillic -->
+<!ENTITY iecy "е" ><!--=small ie, Cyrillic -->
+<!ENTITY IEcy "Е" ><!--=capital IE, Cyrillic -->
+<!ENTITY iocy "ё" ><!--=small io, Russian -->
+<!ENTITY IOcy "Ё" ><!--=capital IO, Russian -->
+<!ENTITY jcy "й" ><!--=small short i, Cyrillic -->
+<!ENTITY Jcy "Й" ><!--=capital short I, Cyrillic -->
+<!ENTITY kcy "к" ><!--=small ka, Cyrillic -->
+<!ENTITY Kcy "К" ><!--=capital KA, Cyrillic -->
+<!ENTITY khcy "х" ><!--=small ha, Cyrillic -->
+<!ENTITY KHcy "Х" ><!--=capital HA, Cyrillic -->
+<!ENTITY lcy "л" ><!--=small el, Cyrillic -->
+<!ENTITY Lcy "Л" ><!--=capital EL, Cyrillic -->
+<!ENTITY mcy "м" ><!--=small em, Cyrillic -->
+<!ENTITY Mcy "М" ><!--=capital EM, Cyrillic -->
+<!ENTITY ncy "н" ><!--=small en, Cyrillic -->
+<!ENTITY Ncy "Н" ><!--=capital EN, Cyrillic -->
+<!ENTITY numero "№" ><!--=numero sign -->
+<!ENTITY ocy "о" ><!--=small o, Cyrillic -->
+<!ENTITY Ocy "О" ><!--=capital O, Cyrillic -->
+<!ENTITY pcy "п" ><!--=small pe, Cyrillic -->
+<!ENTITY Pcy "П" ><!--=capital PE, Cyrillic -->
+<!ENTITY rcy "р" ><!--=small er, Cyrillic -->
+<!ENTITY Rcy "Р" ><!--=capital ER, Cyrillic -->
+<!ENTITY scy "с" ><!--=small es, Cyrillic -->
+<!ENTITY Scy "С" ><!--=capital ES, Cyrillic -->
+<!ENTITY shchcy "щ" ><!--=small shcha, Cyrillic -->
+<!ENTITY SHCHcy "Щ" ><!--=capital SHCHA, Cyrillic -->
+<!ENTITY shcy "ш" ><!--=small sha, Cyrillic -->
+<!ENTITY SHcy "Ш" ><!--=capital SHA, Cyrillic -->
+<!ENTITY softcy "ь" ><!--=small soft sign, Cyrillic -->
+<!ENTITY SOFTcy "Ь" ><!--=capital SOFT sign, Cyrillic -->
+<!ENTITY tcy "т" ><!--=small te, Cyrillic -->
+<!ENTITY Tcy "Т" ><!--=capital TE, Cyrillic -->
+<!ENTITY tscy "ц" ><!--=small tse, Cyrillic -->
+<!ENTITY TScy "Ц" ><!--=capital TSE, Cyrillic -->
+<!ENTITY ucy "у" ><!--=small u, Cyrillic -->
+<!ENTITY Ucy "У" ><!--=capital U, Cyrillic -->
+<!ENTITY vcy "в" ><!--=small ve, Cyrillic -->
+<!ENTITY Vcy "В" ><!--=capital VE, Cyrillic -->
+<!ENTITY yacy "я" ><!--=small ya, Cyrillic -->
+<!ENTITY YAcy "Я" ><!--=capital YA, Cyrillic -->
+<!ENTITY ycy "ы" ><!--=small yeru, Cyrillic -->
+<!ENTITY Ycy "Ы" ><!--=capital YERU, Cyrillic -->
+<!ENTITY yucy "ю" ><!--=small yu, Cyrillic -->
+<!ENTITY YUcy "Ю" ><!--=capital YU, Cyrillic -->
+<!ENTITY zcy "з" ><!--=small ze, Cyrillic -->
+<!ENTITY Zcy "З" ><!--=capital ZE, Cyrillic -->
+<!ENTITY zhcy "ж" ><!--=small zhe, Cyrillic -->
+<!ENTITY ZHcy "Ж" ><!--=capital ZHE, Cyrillic -->
diff --git a/helm/dtd/isocyr2.ent b/helm/dtd/isocyr2.ent
new file mode 100644
index 000000000..67c477b24
--- /dev/null
+++ b/helm/dtd/isocyr2.ent
@@ -0,0 +1,53 @@
+
+<!--
+ File isocyr2.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.
+
+-->
+
+<!ENTITY djcy "ђ" ><!--=small dje, Serbian -->
+<!ENTITY DJcy "Ђ" ><!--=capital DJE, Serbian -->
+<!ENTITY dscy "ѕ" ><!--=small dse, Macedonian -->
+<!ENTITY DScy "Ѕ" ><!--=capital DSE, Macedonian -->
+<!ENTITY dzcy "џ" ><!--=small dze, Serbian -->
+<!ENTITY DZcy "Џ" ><!--=capital dze, Serbian -->
+<!ENTITY gjcy "ѓ" ><!--=small gje, Macedonian -->
+<!ENTITY GJcy "Ѓ" ><!--=capital GJE Macedonian -->
+<!ENTITY iukcy "і" ><!--=small i, Ukrainian -->
+<!ENTITY Iukcy "І" ><!--=capital I, Ukrainian -->
+<!ENTITY jsercy "ј" ><!--=small je, Serbian -->
+<!ENTITY Jsercy "Ј" ><!--=capital JE, Serbian -->
+<!ENTITY jukcy "є" ><!--=small je, Ukrainian -->
+<!ENTITY Jukcy "Є" ><!--=capital JE, Ukrainian -->
+<!ENTITY kjcy "ќ" ><!--=small kje Macedonian -->
+<!ENTITY KJcy "Ќ" ><!--=capital KJE, Macedonian -->
+<!ENTITY ljcy "љ" ><!--=small lje, Serbian -->
+<!ENTITY LJcy "Љ" ><!--=capital LJE, Serbian -->
+<!ENTITY njcy "њ" ><!--=small nje, Serbian -->
+<!ENTITY NJcy "Њ" ><!--=capital NJE, Serbian -->
+<!ENTITY tshcy "ћ" ><!--=small tshe, Serbian -->
+<!ENTITY TSHcy "Ћ" ><!--=capital TSHE, Serbian -->
+<!ENTITY ubrcy "ў" ><!--=small u, Byelorussian -->
+<!ENTITY Ubrcy "Ў" ><!--=capital U, Byelorussian -->
+<!ENTITY yicy "ї" ><!--=small yi, Ukrainian -->
+<!ENTITY YIcy "Ї" ><!--=capital YI, Ukrainian -->
diff --git a/helm/dtd/isodia.ent b/helm/dtd/isodia.ent
new file mode 100644
index 000000000..ba6496300
--- /dev/null
+++ b/helm/dtd/isodia.ent
@@ -0,0 +1,41 @@
+
+<!--
+ File isodia.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.
+
+-->
+
+<!ENTITY acute "´" ><!--=acute accent -->
+<!ENTITY breve "˘" ><!--=breve -->
+<!ENTITY caron "ˇ" ><!--=caron -->
+<!ENTITY cedil "¸" ><!--=cedilla -->
+<!ENTITY circ "^" ><!--circumflex accent -->
+<!ENTITY dblac "˝" ><!--=double acute accent -->
+<!ENTITY die "¨" ><!--=dieresis -->
+<!ENTITY dot "˙" ><!--=dot above -->
+<!ENTITY grave "`" ><!--=grave accent -->
+<!ENTITY macr "¯" ><!--=macron -->
+<!ENTITY ogon "˛" ><!--=ogonek -->
+<!ENTITY ring "˚" ><!--=ring -->
+<!ENTITY tilde "˜" ><!--=tilde -->
+<!ENTITY uml "¨" ><!--=umlaut mark -->
diff --git a/helm/dtd/isogrk3.ent b/helm/dtd/isogrk3.ent
new file mode 100644
index 000000000..fa0335504
--- /dev/null
+++ b/helm/dtd/isogrk3.ent
@@ -0,0 +1,70 @@
+
+<!--
+ File isogrk3.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 alpha "α" ><!--/alpha small alpha, Greek -->
+<!ENTITY beta "β" ><!--/beta small beta, Greek -->
+<!ENTITY chi "χ" ><!--/chi small chi, Greek -->
+<!ENTITY delta "δ" ><!--/delta small delta, Greek -->
+<!ENTITY Delta "Δ" ><!--/Delta capital Delta, Greek -->
+<!ENTITY epsi "ε" ><!--/straightepsilon, small epsilon, Greek -->
+<!ENTITY epsiv "ɛ" ><!--/varepsilon -->
+<!ENTITY eta "η" ><!--/eta small eta, Greek -->
+<!ENTITY gamma "γ" ><!--/gamma small gamma, Greek -->
+<!ENTITY Gamma "Γ" ><!--/Gamma capital Gamma, Greek -->
+<!ENTITY gammad "Ϝ" ><!--/digamma -->
+<!ENTITY Gammad "Ϝ" ><!--capital digamma -->
+<!ENTITY iota "ι" ><!--/iota small iota, Greek -->
+<!ENTITY kappa "κ" ><!--/kappa small kappa, Greek -->
+<!ENTITY kappav "ϰ" ><!--/varkappa -->
+<!ENTITY lambda "λ" ><!--/lambda small lambda, Greek -->
+<!ENTITY Lambda "Λ" ><!--/Lambda capital Lambda, Greek -->
+<!ENTITY mu "μ" ><!--/mu small mu, Greek -->
+<!ENTITY nu "ν" ><!--/nu small nu, Greek -->
+<!ENTITY omega "ω" ><!--/omega small omega, Greek -->
+<!ENTITY Omega "Ω" ><!--/Omega capital Omega, Greek -->
+<!ENTITY phi "φ" ><!--/straightphi - small phi, Greek -->
+<!ENTITY Phi "Φ" ><!--/Phi capital Phi, Greek -->
+<!ENTITY phiv "ϕ" ><!--/varphi - curly or open phi -->
+<!ENTITY pi "π" ><!--/pi small pi, Greek -->
+<!ENTITY Pi "Π" ><!--/Pi capital Pi, Greek -->
+<!ENTITY piv "ϖ" ><!--/varpi -->
+<!ENTITY psi "ψ" ><!--/psi small psi, Greek -->
+<!ENTITY Psi "Ψ" ><!--/Psi capital Psi, Greek -->
+<!ENTITY rho "ρ" ><!--/rho small rho, Greek -->
+<!ENTITY rhov "ϱ" ><!--/varrho -->
+<!ENTITY sigma "σ" ><!--/sigma small sigma, Greek -->
+<!ENTITY Sigma "Σ" ><!--/Sigma capital Sigma, Greek -->
+<!ENTITY sigmav "ς" ><!--/varsigma -->
+<!ENTITY tau "τ" ><!--/tau small tau, Greek -->
+<!ENTITY theta "θ" ><!--/theta straight theta, small theta, Greek -->
+<!ENTITY Theta "Θ" ><!--/Theta capital Theta, Greek -->
+<!ENTITY thetav "ϑ" ><!--/vartheta - curly or open theta -->
+<!ENTITY upsi "υ" ><!--/upsilon small upsilon, Greek -->
+<!ENTITY Upsi "ϒ" ><!--/Upsilon capital Upsilon, Greek -->
+<!ENTITY xi "ξ" ><!--/xi small xi, Greek -->
+<!ENTITY Xi "Ξ" ><!--/Xi capital Xi, Greek -->
+<!ENTITY zeta "ζ" ><!--/zeta small zeta, Greek -->
diff --git a/helm/dtd/isolat1.ent b/helm/dtd/isolat1.ent
new file mode 100644
index 000000000..849d360ae
--- /dev/null
+++ b/helm/dtd/isolat1.ent
@@ -0,0 +1,89 @@
+
+<!--
+ File isolat1.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.
+
+-->
+
+<!ENTITY aacute "á" ><!--=small a, acute accent -->
+<!ENTITY Aacute "Á" ><!--=capital A, acute accent -->
+<!ENTITY acirc "â" ><!--=small a, circumflex accent -->
+<!ENTITY Acirc "Â" ><!--=capital A, circumflex accent -->
+<!ENTITY aelig "æ" ><!--=small ae diphthong (ligature) -->
+<!ENTITY AElig "Æ" ><!--=capital AE diphthong (ligature) -->
+<!ENTITY agrave "à" ><!--=small a, grave accent -->
+<!ENTITY Agrave "À" ><!--=capital A, grave accent -->
+<!ENTITY aring "å" ><!--=small a, ring -->
+<!ENTITY Aring "Å" ><!--=capital A, ring -->
+<!ENTITY atilde "ã" ><!--=small a, tilde -->
+<!ENTITY Atilde "Ã" ><!--=capital A, tilde -->
+<!ENTITY auml "ä" ><!--=small a, dieresis or umlaut mark -->
+<!ENTITY Auml "Ä" ><!--=capital A, dieresis or umlaut mark -->
+<!ENTITY ccedil "ç" ><!--=small c, cedilla -->
+<!ENTITY Ccedil "Ç" ><!--=capital C, cedilla -->
+<!ENTITY eacute "é" ><!--=small e, acute accent -->
+<!ENTITY Eacute "É" ><!--=capital E, acute accent -->
+<!ENTITY ecirc "ê" ><!--=small e, circumflex accent -->
+<!ENTITY Ecirc "Ê" ><!--=capital E, circumflex accent -->
+<!ENTITY egrave "è" ><!--=small e, grave accent -->
+<!ENTITY Egrave "È" ><!--=capital E, grave accent -->
+<!ENTITY eth "ð" ><!--=small eth, Icelandic -->
+<!ENTITY ETH "Ð" ><!--=capital Eth, Icelandic -->
+<!ENTITY euml "ë" ><!--=small e, dieresis or umlaut mark -->
+<!ENTITY Euml "Ë" ><!--=capital E, dieresis or umlaut mark -->
+<!ENTITY iacute "í" ><!--=small i, acute accent -->
+<!ENTITY Iacute "Í" ><!--=capital I, acute accent -->
+<!ENTITY icirc "î" ><!--=small i, circumflex accent -->
+<!ENTITY Icirc "Î" ><!--=capital I, circumflex accent -->
+<!ENTITY igrave "ì" ><!--=small i, grave accent -->
+<!ENTITY Igrave "Ì" ><!--=capital I, grave accent -->
+<!ENTITY iuml "ï" ><!--=small i, dieresis or umlaut mark -->
+<!ENTITY Iuml "Ï" ><!--=capital I, dieresis or umlaut mark -->
+<!ENTITY ntilde "ñ" ><!--=small n, tilde -->
+<!ENTITY Ntilde "Ñ" ><!--=capital N, tilde -->
+<!ENTITY oacute "ó" ><!--=small o, acute accent -->
+<!ENTITY Oacute "Ó" ><!--=capital O, acute accent -->
+<!ENTITY ocirc "ô" ><!--=small o, circumflex accent -->
+<!ENTITY Ocirc "Ô" ><!--=capital O, circumflex accent -->
+<!ENTITY ograve "ò" ><!--=small o, grave accent -->
+<!ENTITY Ograve "Ò" ><!--=capital O, grave accent -->
+<!ENTITY oslash "ø" ><!--latin small letter o with stroke -->
+<!ENTITY Oslash "Ø" ><!--=capital O, slash -->
+<!ENTITY otilde "õ" ><!--=small o, tilde -->
+<!ENTITY Otilde "Õ" ><!--=capital O, tilde -->
+<!ENTITY ouml "ö" ><!--=small o, dieresis or umlaut mark -->
+<!ENTITY Ouml "Ö" ><!--=capital O, dieresis or umlaut mark -->
+<!ENTITY szlig "ß" ><!--=small sharp s, German (sz ligature) -->
+<!ENTITY thorn "þ" ><!--=small thorn, Icelandic -->
+<!ENTITY THORN "Þ" ><!--=capital THORN, Icelandic -->
+<!ENTITY uacute "ú" ><!--=small u, acute accent -->
+<!ENTITY Uacute "Ú" ><!--=capital U, acute accent -->
+<!ENTITY ucirc "û" ><!--=small u, circumflex accent -->
+<!ENTITY Ucirc "Û" ><!--=capital U, circumflex accent -->
+<!ENTITY ugrave "ù" ><!--=small u, grave accent -->
+<!ENTITY Ugrave "Ù" ><!--=capital U, grave accent -->
+<!ENTITY uuml "ü" ><!--=small u, dieresis or umlaut mark -->
+<!ENTITY Uuml "Ü" ><!--=capital U, dieresis or umlaut mark -->
+<!ENTITY yacute "ý" ><!--=small y, acute accent -->
+<!ENTITY Yacute "Ý" ><!--=capital Y, acute accent -->
+<!ENTITY yuml "ÿ" ><!--=small y, dieresis or umlaut mark -->
diff --git a/helm/dtd/isolat2.ent b/helm/dtd/isolat2.ent
new file mode 100644
index 000000000..3049be7f1
--- /dev/null
+++ b/helm/dtd/isolat2.ent
@@ -0,0 +1,148 @@
+
+<!--
+ File isolat2.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.
+
+-->
+
+<!ENTITY abreve "ă" ><!--=small a, breve -->
+<!ENTITY Abreve "Ă" ><!--=capital A, breve -->
+<!ENTITY amacr "ā" ><!--=small a, macron -->
+<!ENTITY Amacr "Ā" ><!--=capital A, macron -->
+<!ENTITY aogon "ą" ><!--=small a, ogonek -->
+<!ENTITY Aogon "Ą" ><!--=capital A, ogonek -->
+<!ENTITY cacute "ć" ><!--=small c, acute accent -->
+<!ENTITY Cacute "Ć" ><!--=capital C, acute accent -->
+<!ENTITY ccaron "č" ><!--=small c, caron -->
+<!ENTITY Ccaron "Č" ><!--=capital C, caron -->
+<!ENTITY ccirc "ĉ" ><!--=small c, circumflex accent -->
+<!ENTITY Ccirc "Ĉ" ><!--=capital C, circumflex accent -->
+<!ENTITY cdot "ċ" ><!--=small c, dot above -->
+<!ENTITY Cdot "Ċ" ><!--=capital C, dot above -->
+<!ENTITY dcaron "ď" ><!--=small d, caron -->
+<!ENTITY Dcaron "Ď" ><!--=capital D, caron -->
+<!ENTITY dstrok "đ" ><!--=small d, stroke -->
+<!ENTITY Dstrok "Đ" ><!--=capital D, stroke -->
+<!ENTITY ecaron "ě" ><!--=small e, caron -->
+<!ENTITY Ecaron "Ě" ><!--=capital E, caron -->
+<!ENTITY edot "ė" ><!--=small e, dot above -->
+<!ENTITY Edot "Ė" ><!--=capital E, dot above -->
+<!ENTITY emacr "ē" ><!--=small e, macron -->
+<!ENTITY Emacr "Ē" ><!--=capital E, macron -->
+<!ENTITY eng "ŋ" ><!--=small eng, Lapp -->
+<!ENTITY ENG "Ŋ" ><!--=capital ENG, Lapp -->
+<!ENTITY eogon "ę" ><!--=small e, ogonek -->
+<!ENTITY Eogon "Ę" ><!--=capital E, ogonek -->
+<!ENTITY gacute "ǵ" ><!--=small g, acute accent -->
+<!ENTITY gbreve "ğ" ><!--=small g, breve -->
+<!ENTITY Gbreve "Ğ" ><!--=capital G, breve -->
+<!ENTITY Gcedil "Ģ" ><!--=capital G, cedilla -->
+<!ENTITY gcirc "ĝ" ><!--=small g, circumflex accent -->
+<!ENTITY Gcirc "Ĝ" ><!--=capital G, circumflex accent -->
+<!ENTITY gdot "ġ" ><!--=small g, dot above -->
+<!ENTITY Gdot "Ġ" ><!--=capital G, dot above -->
+<!ENTITY hcirc "ĥ" ><!--=small h, circumflex accent -->
+<!ENTITY Hcirc "Ĥ" ><!--=capital H, circumflex accent -->
+<!ENTITY hstrok "ħ" ><!--=small h, stroke -->
+<!ENTITY Hstrok "Ħ" ><!--=capital H, stroke -->
+<!ENTITY Idot "İ" ><!--=capital I, dot above -->
+<!ENTITY ijlig "ij" ><!--=small ij ligature -->
+<!ENTITY IJlig "IJ" ><!--=capital IJ ligature -->
+<!ENTITY imacr "ī" ><!--=small i, macron -->
+<!ENTITY Imacr "Ī" ><!--=capital I, macron -->
+<!ENTITY inodot "ı" ><!--=small i without dot -->
+<!ENTITY iogon "į" ><!--=small i, ogonek -->
+<!ENTITY Iogon "Į" ><!--=capital I, ogonek -->
+<!ENTITY itilde "ĩ" ><!--=small i, tilde -->
+<!ENTITY Itilde "Ĩ" ><!--=capital I, tilde -->
+<!ENTITY jcirc "ĵ" ><!--=small j, circumflex accent -->
+<!ENTITY Jcirc "Ĵ" ><!--=capital J, circumflex accent -->
+<!ENTITY kcedil "ķ" ><!--=small k, cedilla -->
+<!ENTITY Kcedil "Ķ" ><!--=capital K, cedilla -->
+<!ENTITY kgreen "ĸ" ><!--=small k, Greenlandic -->
+<!ENTITY lacute "ĺ" ><!--=small l, acute accent -->
+<!ENTITY Lacute "Ĺ" ><!--=capital L, acute accent -->
+<!ENTITY lcaron "ľ" ><!--=small l, caron -->
+<!ENTITY Lcaron "Ľ" ><!--=capital L, caron -->
+<!ENTITY lcedil "ļ" ><!--=small l, cedilla -->
+<!ENTITY Lcedil "Ļ" ><!--=capital L, cedilla -->
+<!ENTITY lmidot "ŀ" ><!--=small l, middle dot -->
+<!ENTITY Lmidot "Ŀ" ><!--=capital L, middle dot -->
+<!ENTITY lstrok "ł" ><!--=small l, stroke -->
+<!ENTITY Lstrok "Ł" ><!--=capital L, stroke -->
+<!ENTITY nacute "ń" ><!--=small n, acute accent -->
+<!ENTITY Nacute "Ń" ><!--=capital N, acute accent -->
+<!ENTITY napos "ʼn" ><!--=small n, apostrophe -->
+<!ENTITY ncaron "ň" ><!--=small n, caron -->
+<!ENTITY Ncaron "Ň" ><!--=capital N, caron -->
+<!ENTITY ncedil "ņ" ><!--=small n, cedilla -->
+<!ENTITY Ncedil "Ņ" ><!--=capital N, cedilla -->
+<!ENTITY odblac "ő" ><!--=small o, double acute accent -->
+<!ENTITY Odblac "Ő" ><!--=capital O, double acute accent -->
+<!ENTITY oelig "œ" ><!--=small oe ligature -->
+<!ENTITY OElig "Œ" ><!--=capital OE ligature -->
+<!ENTITY omacr "ō" ><!--=small o, macron -->
+<!ENTITY Omacr "Ō" ><!--=capital O, macron -->
+<!ENTITY racute "ŕ" ><!--=small r, acute accent -->
+<!ENTITY Racute "Ŕ" ><!--=capital R, acute accent -->
+<!ENTITY rcaron "ř" ><!--=small r, caron -->
+<!ENTITY Rcaron "Ř" ><!--=capital R, caron -->
+<!ENTITY rcedil "ŗ" ><!--=small r, cedilla -->
+<!ENTITY Rcedil "Ŗ" ><!--=capital R, cedilla -->
+<!ENTITY sacute "ś" ><!--=small s, acute accent -->
+<!ENTITY Sacute "Ś" ><!--=capital S, acute accent -->
+<!ENTITY scaron "š" ><!--=small s, caron -->
+<!ENTITY Scaron "Š" ><!--=capital S, caron -->
+<!ENTITY scedil "ş" ><!--=small s, cedilla -->
+<!ENTITY Scedil "Ş" ><!--=capital S, cedilla -->
+<!ENTITY scirc "ŝ" ><!--=small s, circumflex accent -->
+<!ENTITY Scirc "Ŝ" ><!--=capital S, circumflex accent -->
+<!ENTITY tcaron "ť" ><!--=small t, caron -->
+<!ENTITY Tcaron "Ť" ><!--=capital T, caron -->
+<!ENTITY tcedil "ţ" ><!--=small t, cedilla -->
+<!ENTITY Tcedil "Ţ" ><!--=capital T, cedilla -->
+<!ENTITY tstrok "ŧ" ><!--=small t, stroke -->
+<!ENTITY Tstrok "Ŧ" ><!--=capital T, stroke -->
+<!ENTITY ubreve "ŭ" ><!--=small u, breve -->
+<!ENTITY Ubreve "Ŭ" ><!--=capital U, breve -->
+<!ENTITY udblac "ű" ><!--=small u, double acute accent -->
+<!ENTITY Udblac "Ű" ><!--=capital U, double acute accent -->
+<!ENTITY umacr "ū" ><!--=small u, macron -->
+<!ENTITY Umacr "Ū" ><!--=capital U, macron -->
+<!ENTITY uogon "ų" ><!--=small u, ogonek -->
+<!ENTITY Uogon "Ų" ><!--=capital U, ogonek -->
+<!ENTITY uring "ů" ><!--=small u, ring -->
+<!ENTITY Uring "Ů" ><!--=capital U, ring -->
+<!ENTITY utilde "ũ" ><!--=small u, tilde -->
+<!ENTITY Utilde "Ũ" ><!--=capital U, tilde -->
+<!ENTITY wcirc "ŵ" ><!--=small w, circumflex accent -->
+<!ENTITY Wcirc "Ŵ" ><!--=capital W, circumflex accent -->
+<!ENTITY ycirc "ŷ" ><!--=small y, circumflex accent -->
+<!ENTITY Ycirc "Ŷ" ><!--=capital Y, circumflex accent -->
+<!ENTITY Yuml "Ÿ" ><!--=capital Y, dieresis or umlaut mark -->
+<!ENTITY zacute "ź" ><!--=small z, acute accent -->
+<!ENTITY Zacute "Ź" ><!--=capital Z, acute accent -->
+<!ENTITY zcaron "ž" ><!--=small z, caron -->
+<!ENTITY Zcaron "Ž" ><!--=capital Z, caron -->
+<!ENTITY zdot "ż" ><!--=small z, dot above -->
+<!ENTITY Zdot "Ż" ><!--=capital Z, dot above -->
diff --git a/helm/dtd/isomfrk.ent b/helm/dtd/isomfrk.ent
new file mode 100644
index 000000000..d3d92aaee
--- /dev/null
+++ b/helm/dtd/isomfrk.ent
@@ -0,0 +1,79 @@
+
+<!--
+ File isomfrk.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 afr "<%mchar.qname; name='afr'/>" ><!--(1D51E)/frak a, lower case a -->
+<!ENTITY Afr "<%mchar.qname; name='Afr'/>" ><!--(1D504)/frak A, upper case a -->
+<!ENTITY bfr "<%mchar.qname; name='bfr'/>" ><!--(1D51F)/frak b, lower case b -->
+<!ENTITY Bfr "<%mchar.qname; name='Bfr'/>" ><!--(1D505)/frak B, upper case b -->
+<!ENTITY cfr "<%mchar.qname; name='cfr'/>" ><!--(1D520)/frak c, lower case c -->
+<!ENTITY Cfr "<%mchar.qname; name='Cfr'/>" ><!--(1D506)/frak C, upper case c -->
+<!ENTITY dfr "<%mchar.qname; name='dfr'/>" ><!--(1D521)/frak d, lower case d -->
+<!ENTITY Dfr "<%mchar.qname; name='Dfr'/>" ><!--(1D507)/frak D, upper case d -->
+<!ENTITY efr "<%mchar.qname; name='efr'/>" ><!--(1D522)/frak e, lower case e -->
+<!ENTITY Efr "<%mchar.qname; name='Efr'/>" ><!--(1D508)/frak E, upper case e -->
+<!ENTITY ffr "<%mchar.qname; name='ffr'/>" ><!--(1D523)/frak f, lower case f -->
+<!ENTITY Ffr "<%mchar.qname; name='Ffr'/>" ><!--(1D509)/frak F, upper case f -->
+<!ENTITY gfr "<%mchar.qname; name='gfr'/>" ><!--(1D524)/frak g, lower case g -->
+<!ENTITY Gfr "<%mchar.qname; name='Gfr'/>" ><!--(1D50A)/frak G, upper case g -->
+<!ENTITY hfr "<%mchar.qname; name='hfr'/>" ><!--(1D525)/frak h, lower case h -->
+<!ENTITY Hfr "<%mchar.qname; name='Hfr'/>" ><!--(1D50B)/frak H, upper case h -->
+<!ENTITY ifr "<%mchar.qname; name='ifr'/>" ><!--(1D526)/frak i, lower case i -->
+<!ENTITY Ifr "<%mchar.qname; name='Ifr'/>" ><!--(1D50C)/frak I, upper case i -->
+<!ENTITY jfr "<%mchar.qname; name='jfr'/>" ><!--(1D527)/frak j, lower case j -->
+<!ENTITY Jfr "<%mchar.qname; name='Jfr'/>" ><!--(1D50D)/frak J, upper case j -->
+<!ENTITY kfr "<%mchar.qname; name='kfr'/>" ><!--(1D528)/frak k, lower case k -->
+<!ENTITY Kfr "<%mchar.qname; name='Kfr'/>" ><!--(1D50E)/frak K, upper case k -->
+<!ENTITY lfr "<%mchar.qname; name='lfr'/>" ><!--(1D529)/frak l, lower case l -->
+<!ENTITY Lfr "<%mchar.qname; name='Lfr'/>" ><!--(1D50F)/frak L, upper case l -->
+<!ENTITY mfr "<%mchar.qname; name='mfr'/>" ><!--(1D52A)/frak m, lower case m -->
+<!ENTITY Mfr "<%mchar.qname; name='Mfr'/>" ><!--(1D510)/frak M, upper case m -->
+<!ENTITY nfr "<%mchar.qname; name='nfr'/>" ><!--(1D52B)/frak n, lower case n -->
+<!ENTITY Nfr "<%mchar.qname; name='Nfr'/>" ><!--(1D511)/frak N, upper case n -->
+<!ENTITY ofr "<%mchar.qname; name='ofr'/>" ><!--(1D52C)/frak o, lower case o -->
+<!ENTITY Ofr "<%mchar.qname; name='Ofr'/>" ><!--(1D512)/frak O, upper case o -->
+<!ENTITY pfr "<%mchar.qname; name='pfr'/>" ><!--(1D52D)/frak p, lower case p -->
+<!ENTITY Pfr "<%mchar.qname; name='Pfr'/>" ><!--(1D513)/frak P, upper case p -->
+<!ENTITY qfr "<%mchar.qname; name='qfr'/>" ><!--(1D52E)/frak q, lower case q -->
+<!ENTITY Qfr "<%mchar.qname; name='Qfr'/>" ><!--(1D514)/frak Q, upper case q -->
+<!ENTITY rfr "<%mchar.qname; name='rfr'/>" ><!--(1D52F)/frak r, lower case r -->
+<!ENTITY Rfr "<%mchar.qname; name='Rfr'/>" ><!--(1D515)/frak R, upper case r -->
+<!ENTITY sfr "<%mchar.qname; name='sfr'/>" ><!--(1D530)/frak s, lower case s -->
+<!ENTITY Sfr "<%mchar.qname; name='Sfr'/>" ><!--(1D516)/frak S, upper case s -->
+<!ENTITY tfr "<%mchar.qname; name='tfr'/>" ><!--(1D531)/frak t, lower case t -->
+<!ENTITY Tfr "<%mchar.qname; name='Tfr'/>" ><!--(1D517)/frak T, upper case t -->
+<!ENTITY ufr "<%mchar.qname; name='ufr'/>" ><!--(1D532)/frak u, lower case u -->
+<!ENTITY Ufr "<%mchar.qname; name='Ufr'/>" ><!--(1D518)/frak U, upper case u -->
+<!ENTITY vfr "<%mchar.qname; name='vfr'/>" ><!--(1D533)/frak v, lower case v -->
+<!ENTITY Vfr "<%mchar.qname; name='Vfr'/>" ><!--(1D519)/frak V, upper case v -->
+<!ENTITY wfr "<%mchar.qname; name='wfr'/>" ><!--(1D534)/frak w, lower case w -->
+<!ENTITY Wfr "<%mchar.qname; name='Wfr'/>" ><!--(1D51A)/frak W, upper case w -->
+<!ENTITY xfr "<%mchar.qname; name='xfr'/>" ><!--(1D535)/frak x, lower case x -->
+<!ENTITY Xfr "<%mchar.qname; name='Xfr'/>" ><!--(1D51B)/frak X, upper case x -->
+<!ENTITY yfr "<%mchar.qname; name='yfr'/>" ><!--(1D536)/frak y, lower case y -->
+<!ENTITY Yfr "<%mchar.qname; name='Yfr'/>" ><!--(1D51C)/frak Y, upper case y -->
+<!ENTITY zfr "<%mchar.qname; name='zfr'/>" ><!--(1D537)/frak z, lower case z -->
+<!ENTITY Zfr "<%mchar.qname; name='Zfr'/>" ><!--(1D51D)/frak Z, upper case z -->
diff --git a/helm/dtd/isomopf.ent b/helm/dtd/isomopf.ent
new file mode 100644
index 000000000..6b5e01f79
--- /dev/null
+++ b/helm/dtd/isomopf.ent
@@ -0,0 +1,53 @@
+
+<!--
+ File isomopf.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 Aopf "<%mchar.qname; name='Aopf'/>" ><!--(1D538)/Bbb A, open face A -->
+<!ENTITY Bopf "<%mchar.qname; name='Bopf'/>" ><!--(1D539)/Bbb B, open face B -->
+<!ENTITY Copf "<%mchar.qname; name='Copf'/>" ><!--(1D53A)/Bbb C, open face C -->
+<!ENTITY Dopf "<%mchar.qname; name='Dopf'/>" ><!--(1D53B)/Bbb D, open face D -->
+<!ENTITY Eopf "<%mchar.qname; name='Eopf'/>" ><!--(1D53C)/Bbb E, open face E -->
+<!ENTITY Fopf "<%mchar.qname; name='Fopf'/>" ><!--(1D53D)/Bbb F, open face F -->
+<!ENTITY Gopf "<%mchar.qname; name='Gopf'/>" ><!--(1D53E)/Bbb G, open face G -->
+<!ENTITY Hopf "<%mchar.qname; name='Hopf'/>" ><!--(1D53F)/Bbb H, open face H -->
+<!ENTITY Iopf "<%mchar.qname; name='Iopf'/>" ><!--(1D540)/Bbb I, open face I -->
+<!ENTITY Jopf "<%mchar.qname; name='Jopf'/>" ><!--(1D541)/Bbb J, open face J -->
+<!ENTITY Kopf "<%mchar.qname; name='Kopf'/>" ><!--(1D542)/Bbb K, open face K -->
+<!ENTITY Lopf "<%mchar.qname; name='Lopf'/>" ><!--(1D543)/Bbb L, open face L -->
+<!ENTITY Mopf "<%mchar.qname; name='Mopf'/>" ><!--(1D544)/Bbb M, open face M -->
+<!ENTITY Nopf "<%mchar.qname; name='Nopf'/>" ><!--(1D545)/Bbb N, open face N -->
+<!ENTITY Oopf "<%mchar.qname; name='Oopf'/>" ><!--(1D546)/Bbb O, open face O -->
+<!ENTITY Popf "<%mchar.qname; name='Popf'/>" ><!--(1D547)/Bbb P, open face P -->
+<!ENTITY Qopf "<%mchar.qname; name='Qopf'/>" ><!--(1D548)/Bbb Q, open face Q -->
+<!ENTITY Ropf "<%mchar.qname; name='Ropf'/>" ><!--(1D549)/Bbb R, open face R -->
+<!ENTITY Sopf "<%mchar.qname; name='Sopf'/>" ><!--(1D54A)/Bbb S, open face S -->
+<!ENTITY Topf "<%mchar.qname; name='Topf'/>" ><!--(1D54B)/Bbb T, open face T -->
+<!ENTITY Uopf "<%mchar.qname; name='Uopf'/>" ><!--(1D54C)/Bbb U, open face U -->
+<!ENTITY Vopf "<%mchar.qname; name='Vopf'/>" ><!--(1D54D)/Bbb V, open face V -->
+<!ENTITY Wopf "<%mchar.qname; name='Wopf'/>" ><!--(1D54E)/Bbb W, open face W -->
+<!ENTITY Xopf "<%mchar.qname; name='Xopf'/>" ><!--(1D54F)/Bbb X, open face X -->
+<!ENTITY Yopf "<%mchar.qname; name='Yopf'/>" ><!--(1D550)/Bbb Y, open face Y -->
+<!ENTITY Zopf "<%mchar.qname; name='Zopf'/>" ><!--(1D551)/Bbb Z, open face Z -->
diff --git a/helm/dtd/isomscr.ent b/helm/dtd/isomscr.ent
new file mode 100644
index 000000000..75d3bc5df
--- /dev/null
+++ b/helm/dtd/isomscr.ent
@@ -0,0 +1,79 @@
+
+<!--
+ File isomscr.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 ascr "<%mchar.qname; name='ascr'/>" ><!--(1D4B6)/scr a, script letter a -->
+<!ENTITY Ascr "<%mchar.qname; name='Ascr'/>" ><!--(1D49C)/scr A, script letter A -->
+<!ENTITY bscr "<%mchar.qname; name='bscr'/>" ><!--(1D4B7)/scr b, script letter b -->
+<!ENTITY Bscr "<%mchar.qname; name='Bscr'/>" ><!--(1D49D)/scr B, script letter B -->
+<!ENTITY cscr "<%mchar.qname; name='cscr'/>" ><!--(1D4B8)/scr c, script letter c -->
+<!ENTITY Cscr "<%mchar.qname; name='Cscr'/>" ><!--(1D49E)/scr C, script letter C -->
+<!ENTITY dscr "<%mchar.qname; name='dscr'/>" ><!--(1D4B9)/scr d, script letter d -->
+<!ENTITY Dscr "<%mchar.qname; name='Dscr'/>" ><!--(1D49F)/scr D, script letter D -->
+<!ENTITY escr "<%mchar.qname; name='escr'/>" ><!--(1D4BA)/scr e, script letter e -->
+<!ENTITY Escr "<%mchar.qname; name='Escr'/>" ><!--(1D4A0)/scr E, script letter E -->
+<!ENTITY fscr "<%mchar.qname; name='fscr'/>" ><!--(1D4BB)/scr f, script letter f -->
+<!ENTITY Fscr "<%mchar.qname; name='Fscr'/>" ><!--(1D4A1)/scr F, script letter F -->
+<!ENTITY gscr "<%mchar.qname; name='gscr'/>" ><!--(1D4BC)/scr g, script letter g -->
+<!ENTITY Gscr "<%mchar.qname; name='Gscr'/>" ><!--(1D4A2)/scr G, script letter G -->
+<!ENTITY hscr "<%mchar.qname; name='hscr'/>" ><!--(1D4BD)/scr h, script letter h -->
+<!ENTITY Hscr "<%mchar.qname; name='Hscr'/>" ><!--(1D4A3)/scr H, script letter H -->
+<!ENTITY iscr "<%mchar.qname; name='iscr'/>" ><!--(1D4BE)/scr i, script letter i -->
+<!ENTITY Iscr "<%mchar.qname; name='Iscr'/>" ><!--(1D4A4)/scr I, script letter I -->
+<!ENTITY jscr "<%mchar.qname; name='jscr'/>" ><!--(1D4BF)/scr j, script letter j -->
+<!ENTITY Jscr "<%mchar.qname; name='Jscr'/>" ><!--(1D4A5)/scr J, script letter J -->
+<!ENTITY kscr "<%mchar.qname; name='kscr'/>" ><!--(1D4C0)/scr k, script letter k -->
+<!ENTITY Kscr "<%mchar.qname; name='Kscr'/>" ><!--(1D4A6)/scr K, script letter K -->
+<!ENTITY lscr "<%mchar.qname; name='lscr'/>" ><!--(1D4C1)/scr l, script letter l -->
+<!ENTITY Lscr "<%mchar.qname; name='Lscr'/>" ><!--(1D4A7)/scr L, script letter L -->
+<!ENTITY mscr "<%mchar.qname; name='mscr'/>" ><!--(1D4C2)/scr m, script letter m -->
+<!ENTITY Mscr "<%mchar.qname; name='Mscr'/>" ><!--(1D4A8)/scr M, script letter M -->
+<!ENTITY nscr "<%mchar.qname; name='nscr'/>" ><!--(1D4C3)/scr n, script letter n -->
+<!ENTITY Nscr "<%mchar.qname; name='Nscr'/>" ><!--(1D4A9)/scr N, script letter N -->
+<!ENTITY oscr "<%mchar.qname; name='oscr'/>" ><!--(1D4C4)/scr o, script letter o -->
+<!ENTITY Oscr "<%mchar.qname; name='Oscr'/>" ><!--(1D4AA)/scr O, script letter O -->
+<!ENTITY pscr "<%mchar.qname; name='pscr'/>" ><!--(1D4C5)/scr p, script letter p -->
+<!ENTITY Pscr "<%mchar.qname; name='Pscr'/>" ><!--(1D4AB)/scr P, script letter P -->
+<!ENTITY qscr "<%mchar.qname; name='qscr'/>" ><!--(1D4C6)/scr q, script letter q -->
+<!ENTITY Qscr "<%mchar.qname; name='Qscr'/>" ><!--(1D4AC)/scr Q, script letter Q -->
+<!ENTITY rscr "<%mchar.qname; name='rscr'/>" ><!--(1D4C7)/scr r, script letter r -->
+<!ENTITY Rscr "<%mchar.qname; name='Rscr'/>" ><!--(1D4AD)/scr R, script letter R -->
+<!ENTITY sscr "<%mchar.qname; name='sscr'/>" ><!--(1D4C8)/scr s, script letter s -->
+<!ENTITY Sscr "<%mchar.qname; name='Sscr'/>" ><!--(1D4AE)/scr S, script letter S -->
+<!ENTITY tscr "<%mchar.qname; name='tscr'/>" ><!--(1D4C9)/scr t, script letter t -->
+<!ENTITY Tscr "<%mchar.qname; name='Tscr'/>" ><!--(1D4AF)/scr T, script letter T -->
+<!ENTITY uscr "<%mchar.qname; name='uscr'/>" ><!--(1D4CA)/scr u, script letter u -->
+<!ENTITY Uscr "<%mchar.qname; name='Uscr'/>" ><!--(1D4B0)/scr U, script letter U -->
+<!ENTITY vscr "<%mchar.qname; name='vscr'/>" ><!--(1D4CB)/scr v, script letter v -->
+<!ENTITY Vscr "<%mchar.qname; name='Vscr'/>" ><!--(1D4B1)/scr V, script letter V -->
+<!ENTITY wscr "<%mchar.qname; name='wscr'/>" ><!--(1D4CC)/scr w, script letter w -->
+<!ENTITY Wscr "<%mchar.qname; name='Wscr'/>" ><!--(1D4B2)/scr W, script letter W -->
+<!ENTITY xscr "<%mchar.qname; name='xscr'/>" ><!--(1D4CD)/scr x, script letter x -->
+<!ENTITY Xscr "<%mchar.qname; name='Xscr'/>" ><!--(1D4B3)/scr X, script letter X -->
+<!ENTITY yscr "<%mchar.qname; name='yscr'/>" ><!--(1D4CE)/scr y, script letter y -->
+<!ENTITY Yscr "<%mchar.qname; name='Yscr'/>" ><!--(1D4B4)/scr Y, script letter Y -->
+<!ENTITY zscr "<%mchar.qname; name='zscr'/>" ><!--(1D4CF)/scr z, script letter z -->
+<!ENTITY Zscr "<%mchar.qname; name='Zscr'/>" ><!--(1D4B5)/scr Z, script letter Z -->
diff --git a/helm/dtd/isonum.ent b/helm/dtd/isonum.ent
new file mode 100644
index 000000000..d6d346169
--- /dev/null
+++ b/helm/dtd/isonum.ent
@@ -0,0 +1,106 @@
+
+<!--
+ 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 -->
diff --git a/helm/dtd/isopub.ent b/helm/dtd/isopub.ent
new file mode 100644
index 000000000..5591fc390
--- /dev/null
+++ b/helm/dtd/isopub.ent
@@ -0,0 +1,111 @@
+
+<!--
+ File isopub.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.
+
+-->
+
+<!ENTITY blank "␣" ><!--=significant blank symbol -->
+<!ENTITY blk12 "▒" ><!--=50% shaded block -->
+<!ENTITY blk14 "░" ><!--=25% shaded block -->
+<!ENTITY blk34 "▓" ><!--=75% shaded block -->
+<!ENTITY block "█" ><!--=full block -->
+<!ENTITY bull "•" ><!--/bullet B: =round bullet, filled -->
+<!ENTITY caret "⁁" ><!--=caret (insertion mark) -->
+<!ENTITY check "✓" ><!--/checkmark =tick, check mark -->
+<!ENTITY cir "○" ><!--/circ B: =circle, open -->
+<!ENTITY clubs "♣" ><!--/clubsuit =club suit symbol -->
+<!ENTITY copysr "℗" ><!--=sound recording copyright sign -->
+<!ENTITY cross "✗" ><!--=ballot cross -->
+<!ENTITY dagger "†" ><!--/dagger B: =dagger -->
+<!ENTITY Dagger "‡" ><!--/ddagger B: =double dagger -->
+<!ENTITY dash "‐" ><!--=hyphen (true graphic) -->
+<!ENTITY diams "♦" ><!--/diamondsuit =diamond suit symbol -->
+<!ENTITY dlcrop "⌍" ><!--downward left crop mark -->
+<!ENTITY drcrop "⌌" ><!--downward right crop mark -->
+<!ENTITY dtri "▿" ><!--/triangledown =down triangle, open -->
+<!ENTITY dtrif "▾" ><!--/blacktriangledown =dn tri, filled -->
+<!ENTITY emsp " " ><!--=em space -->
+<!ENTITY emsp13 " " ><!--=1/3-em space -->
+<!ENTITY emsp14 " " ><!--=1/4-em space -->
+<!ENTITY ensp " " ><!--=en space (1/2-em) -->
+<!ENTITY female "♀" ><!--=female symbol -->
+<!ENTITY ffilig "ffi" ><!--small ffi ligature -->
+<!ENTITY fflig "ff" ><!--small ff ligature -->
+<!ENTITY ffllig "ffl" ><!--small ffl ligature -->
+<!ENTITY filig "fi" ><!--small fi ligature -->
+<!ENTITY flat "♭" ><!--/flat =musical flat -->
+<!ENTITY fllig "fl" ><!--small fl ligature -->
+<!ENTITY frac13 "⅓" ><!--=fraction one-third -->
+<!ENTITY frac15 "⅕" ><!--=fraction one-fifth -->
+<!ENTITY frac16 "⅙" ><!--=fraction one-sixth -->
+<!ENTITY frac23 "⅔" ><!--=fraction two-thirds -->
+<!ENTITY frac25 "⅖" ><!--=fraction two-fifths -->
+<!ENTITY frac35 "⅗" ><!--=fraction three-fifths -->
+<!ENTITY frac45 "⅘" ><!--=fraction four-fifths -->
+<!ENTITY frac56 "⅚" ><!--=fraction five-sixths -->
+<!ENTITY hairsp " " ><!--=hair space -->
+<!ENTITY hearts "♡" ><!--/heartsuit =heart suit symbol -->
+<!ENTITY hellip "…" ><!--=ellipsis (horizontal) -->
+<!ENTITY hybull "⁃" ><!--rectangle, filled (hyphen bullet) -->
+<!ENTITY incare "℅" ><!--=in-care-of symbol -->
+<!ENTITY ldquor "„" ><!--=rising dbl quote, left (low) -->
+<!ENTITY lhblk "▄" ><!--=lower half block -->
+<!ENTITY loz "◊" ><!--/lozenge - lozenge or total mark -->
+<!ENTITY lozf "⧫" ><!--/blacklozenge - lozenge, filled -->
+<!ENTITY lsquor "‚" ><!--=rising single quote, left (low) -->
+<!ENTITY ltri "◃" ><!--/triangleleft B: l triangle, open -->
+<!ENTITY ltrif "◂" ><!--/blacktriangleleft R: =l tri, filled -->
+<!ENTITY male "♂" ><!--=male symbol -->
+<!ENTITY malt "✠" ><!--/maltese =maltese cross -->
+<!ENTITY marker "▮" ><!--=histogram marker -->
+<!ENTITY mdash "—" ><!--=em dash -->
+<!ENTITY mldr "…" ><!--em leader -->
+<!ENTITY natur "♮" ><!--/natural - music natural -->
+<!ENTITY ndash "–" ><!--=en dash -->
+<!ENTITY nldr "‥" ><!--=double baseline dot (en leader) -->
+<!ENTITY numsp " " ><!--=digit space (width of a number) -->
+<!ENTITY phone "☎" ><!--=telephone symbol -->
+<!ENTITY puncsp " " ><!--=punctuation space (width of comma) -->
+<!ENTITY rdquor "”" ><!--rising dbl quote, right (high) -->
+<!ENTITY rect "▭" ><!--=rectangle, open -->
+<!ENTITY rsquor "’" ><!--rising single quote, right (high) -->
+<!ENTITY rtri "▹" ><!--/triangleright B: r triangle, open -->
+<!ENTITY rtrif "▸" ><!--/blacktriangleright R: =r tri, filled -->
+<!ENTITY rx "℞" ><!--pharmaceutical prescription (Rx) -->
+<!ENTITY sext "✶" ><!--sextile (6-pointed star) -->
+<!ENTITY sharp "♯" ><!--/sharp =musical sharp -->
+<!ENTITY spades "♠" ><!--/spadesuit =spades suit symbol -->
+<!ENTITY squ "□" ><!--=square, open -->
+<!ENTITY squf "▪" ><!--/blacksquare =sq bullet, filled -->
+<!ENTITY star "⋆" ><!--=star, open -->
+<!ENTITY starf "★" ><!--/bigstar - star, filled -->
+<!ENTITY target "⌖" ><!--register mark or target -->
+<!ENTITY telrec "⌕" ><!--=telephone recorder symbol -->
+<!ENTITY thinsp " " ><!--=thin space (1/6-em) -->
+<!ENTITY uhblk "▀" ><!--=upper half block -->
+<!ENTITY ulcrop "⌏" ><!--upward left crop mark -->
+<!ENTITY urcrop "⌎" ><!--upward right crop mark -->
+<!ENTITY utri "▵" ><!--/triangle =up triangle, open -->
+<!ENTITY utrif "▴" ><!--/blacktriangle =up tri, filled -->
+<!ENTITY vellip "⋮" ><!--vertical ellipsis -->
diff --git a/helm/dtd/isotech.ent b/helm/dtd/isotech.ent
new file mode 100644
index 000000000..8b30af833
--- /dev/null
+++ b/helm/dtd/isotech.ent
@@ -0,0 +1,183 @@
+
+<!--
+ File isotech.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 acd "∿" ><!--ac current -->
+<!ENTITY aleph "ℵ" ><!--/aleph aleph, Hebrew -->
+<!ENTITY and "∧" ><!--/wedge /land B: logical and -->
+<!ENTITY And "⩓" ><!--dbl logical and -->
+<!ENTITY andand "⩕" ><!--two logical and -->
+<!ENTITY andd "⩜" ><!--and, horizontal dash -->
+<!ENTITY andslope "⩘" ><!--sloping large and -->
+<!ENTITY andv "⩚" ><!--and with middle stem -->
+<!ENTITY angrt "∟" ><!--right (90 degree) angle -->
+<!ENTITY angsph "∢" ><!--/sphericalangle angle-spherical -->
+<!ENTITY angst "Å" ><!--Angstrom capital A, ring -->
+<!ENTITY ap "≈" ><!--/approx R: approximate -->
+<!ENTITY apacir "⩯" ><!--approximate, circumflex accent -->
+<!ENTITY awconint "∳" ><!--contour integral, anti-clockwise -->
+<!ENTITY awint "⨑" ><!--anti clock-wise integration -->
+<!ENTITY becaus "∵" ><!--/because R: because -->
+<!ENTITY bernou "ℬ" ><!--Bernoulli function (script capital B) -->
+<!ENTITY bne "=⃥" ><!--reverse not equal -->
+<!ENTITY bnequiv "≡⃥" ><!--reverse not equivalent -->
+<!ENTITY bnot "⌐" ><!--reverse not -->
+<!ENTITY bNot "⫭" ><!--reverse not with two horizontal strokes -->
+<!ENTITY bottom "⊥" ><!--/bot bottom -->
+<!ENTITY cap "∩" ><!--/cap B: intersection -->
+<!ENTITY Cconint "∰" ><!--triple contour integral operator -->
+<!ENTITY cirfnint "⨐" ><!--circulation function -->
+<!ENTITY compfn "∘" ><!--/circ B: composite function (small circle) -->
+<!ENTITY cong "≅" ><!--/cong R: congruent with -->
+<!ENTITY conint "∮" ><!--/oint L: contour integral operator -->
+<!ENTITY Conint "∯" ><!--double contour integral operator -->
+<!ENTITY ctdot "⋯" ><!--/cdots, three dots, centered -->
+<!ENTITY cup "∪" ><!--/cup B: union or logical sum -->
+<!ENTITY cwconint "∲" ><!--contour integral, clockwise -->
+<!ENTITY cwint "∱" ><!--clockwise integral -->
+<!ENTITY cylcty "⌭" ><!--cylindricity -->
+<!ENTITY disin "⋲" ><!--set membership, long horizontal stroke -->
+<!ENTITY Dot "¨" ><!--dieresis or umlaut mark -->
+<!ENTITY DotDot "⃜" ><!--four dots above -->
+<!ENTITY dsol "⁒" ><!--solidus, bar above -->
+<!ENTITY dtdot "⋱" ><!--/ddots, three dots, descending -->
+<!ENTITY dwangle "⦦" ><!--large downward pointing angle -->
+<!ENTITY epar "⋕" ><!--parallel, equal; equal or parallel -->
+<!ENTITY eparsl "⧣" ><!--parallel, slanted, equal; homothetically congruent to -->
+<!ENTITY equiv "≡" ><!--/equiv R: identical with -->
+<!ENTITY eqvparsl "⧥" ><!--equivalent, equal; congruent and parallel -->
+<!ENTITY exist "∃" ><!--/exists at least one exists -->
+<!ENTITY fnof "ƒ" ><!--function of (italic small f) -->
+<!ENTITY forall "∀" ><!--/forall for all -->
+<!ENTITY fpartint "⨍" ><!--finite part integral -->
+<!ENTITY ge "≥" ><!--/geq /ge R: greater-than-or-equal -->
+<!ENTITY hamilt "ℋ" ><!--Hamiltonian (script capital H) -->
+<!ENTITY iff "⇔" ><!--/iff if and only if -->
+<!ENTITY iinfin "⧜" ><!--infinity sign, incomplete -->
+<!ENTITY imped "<%mchar.qname; name='imped'/>" ><!--(1D543)impedance -->
+<!ENTITY infin "∞" ><!--/infty infinity -->
+<!ENTITY int "∫" ><!--/int L: integral operator -->
+<!ENTITY Int "∬" ><!--double integral operator -->
+<!ENTITY intlarhk "⨗" ><!--integral, left arrow with hook -->
+<!ENTITY isin "∈" ><!--/in R: set membership -->
+<!ENTITY isindot "⋵" ><!--set membership, dot above -->
+<!ENTITY isinE "⋹" ><!--set membership, two horizontal strokes -->
+<!ENTITY isins "⋴" ><!--set membership, vertical bar on horizontal stroke -->
+<!ENTITY isinsv "⋳" ><!--large set membership, vertical bar on horizontal stroke -->
+<!ENTITY isinv "∈" ><!--set membership, variant -->
+<!ENTITY lagran "ℒ" ><!--Lagrangian (script capital L) -->
+<!ENTITY lang "〈" ><!--/langle O: left angle bracket -->
+<!ENTITY Lang "《" ><!--left angle bracket, double -->
+<!ENTITY lArr "⇐" ><!--/Leftarrow A: is implied by -->
+<!ENTITY lbbrk "〔" ><!--left broken bracket -->
+<!ENTITY le "≤" ><!--/leq /le R: less-than-or-equal -->
+<!ENTITY loang "〘" ><!--left open angular bracket -->
+<!ENTITY lobrk "〚" ><!--left open bracket -->
+<!ENTITY lopar "⦅" ><!--left open parenthesis -->
+<!ENTITY lowast "∗" ><!--low asterisk -->
+<!ENTITY minus "−" ><!--B: minus sign -->
+<!ENTITY mnplus "∓" ><!--/mp B: minus-or-plus sign -->
+<!ENTITY nabla "∇" ><!--/nabla del, Hamilton operator -->
+<!ENTITY ne "≠" ><!--/ne /neq R: not equal -->
+<!ENTITY nedot "≠⁣" ><!--not equal, dot -->
+<!ENTITY nhpar "⫲" ><!--not, horizontal, parallel -->
+<!ENTITY ni "∋" ><!--/ni /owns R: contains -->
+<!ENTITY nis "⋼" ><!--contains, vertical bar on horizontal stroke -->
+<!ENTITY nisd "⋺" ><!--contains, long horizontal stroke -->
+<!ENTITY niv "∋" ><!--contains, variant -->
+<!ENTITY Not "⫬" ><!--not with two horizontal strokes -->
+<!ENTITY notin "∉" ><!--/notin N: negated set membership -->
+<!ENTITY notindot "⋶⁣" ><!--negated set membership, dot above -->
+<!ENTITY notinva "∉̸" ><!--negated set membership, variant -->
+<!ENTITY notinvb "⋷" ><!--negated set membership, variant -->
+<!ENTITY notinvc "⋶" ><!--negated set membership, variant -->
+<!ENTITY notni "∌" ><!--negated contains -->
+<!ENTITY notniva "∌" ><!--negated contains, variant -->
+<!ENTITY notnivb "⋾" ><!--contains, variant -->
+<!ENTITY notnivc "⋽" ><!--contains, variant -->
+<!ENTITY nparsl "∥⁣⃥" ><!--not parallel, slanted -->
+<!ENTITY npart "∂̸" ><!--not partial differential -->
+<!ENTITY npolint "⨔" ><!--line integration, not including the pole -->
+<!ENTITY nvinfin "⧞" ><!--not, vert, infinity -->
+<!ENTITY olcross "⦻" ><!--circle, cross -->
+<!ENTITY or "∨" ><!--/vee /lor B: logical or -->
+<!ENTITY Or "⩔" ><!--dbl logical or -->
+<!ENTITY ord "⩝" ><!--or, horizontal dash -->
+<!ENTITY order "ℴ" ><!--order of (script small o) -->
+<!ENTITY oror "⩖" ><!--two logical or -->
+<!ENTITY orslope "⩗" ><!--sloping large or -->
+<!ENTITY orv "⩛" ><!--or with middle stem -->
+<!ENTITY par "∥" ><!--/parallel R: parallel -->
+<!ENTITY parsl "∥⁣" ><!--parallel, slanted -->
+<!ENTITY part "∂" ><!--/partial partial differential -->
+<!ENTITY permil "‰" ><!--per thousand -->
+<!ENTITY perp "⊥" ><!--/perp R: perpendicular -->
+<!ENTITY pertenk "‱" ><!--per 10 thousand -->
+<!ENTITY phmmat "ℳ" ><!--physics M-matrix (script capital M) -->
+<!ENTITY pointint "⨕" ><!--integral around a point operator -->
+<!ENTITY prime "′" ><!--/prime prime or minute -->
+<!ENTITY Prime "″" ><!--double prime or second -->
+<!ENTITY profalar "⌮" ><!--all-around profile -->
+<!ENTITY profline "⌒" ><!--profile of a line -->
+<!ENTITY profsurf "⌓" ><!--profile of a surface -->
+<!ENTITY prop "∝" ><!--/propto R: is proportional to -->
+<!ENTITY qint "⨌" ><!--/iiiint quadruple integral operator -->
+<!ENTITY qprime "⁗" ><!--quadruple prime -->
+<!ENTITY quatint "⨖" ><!--quaternion integral operator -->
+<!ENTITY radic "√" ><!--/surd radical -->
+<!ENTITY rang "〉" ><!--/rangle C: right angle bracket -->
+<!ENTITY Rang "》" ><!--right angle bracket, double -->
+<!ENTITY rArr "⇒" ><!--/Rightarrow A: implies -->
+<!ENTITY rbbrk "〕" ><!--right broken bracket -->
+<!ENTITY roang "〙" ><!--right open angular bracket -->
+<!ENTITY robrk "〛" ><!--right open bracket -->
+<!ENTITY ropar "⦆" ><!--right open parenthesis -->
+<!ENTITY rppolint "⨒" ><!--line integration, rectangular path around pole -->
+<!ENTITY scpolint "⨓" ><!--line integration, semi-circular path around pole -->
+<!ENTITY sim "∼" ><!--/sim R: similar -->
+<!ENTITY simdot "⩪" ><!--similar, dot -->
+<!ENTITY sime "≃" ><!--/simeq R: similar, equals -->
+<!ENTITY smeparsl "⧤" ><!--similar, parallel, slanted, equal -->
+<!ENTITY square "□" ><!--/square, square -->
+<!ENTITY squarf "▪" ><!--/blacksquare, square, filled -->
+<!ENTITY sub "⊂" ><!--/subset R: subset or is implied by -->
+<!ENTITY sube "⊆" ><!--/subseteq R: subset, equals -->
+<!ENTITY sup "⊃" ><!--/supset R: superset or implies -->
+<!ENTITY supe "⊇" ><!--/supseteq R: superset, equals -->
+<!ENTITY tdot "⃛" ><!--three dots above -->
+<!ENTITY there4 "∴" ><!--/therefore R: therefore -->
+<!ENTITY tint "∭" ><!--/iiint triple integral operator -->
+<!ENTITY top "⊤" ><!--/top top -->
+<!ENTITY topbot "⌶" ><!--top and bottom -->
+<!ENTITY topcir "⫱" ><!--top, circle below -->
+<!ENTITY tprime "‴" ><!--triple prime -->
+<!ENTITY utdot "⋰" ><!--three dots, ascending -->
+<!ENTITY uwangle "⦧" ><!--large upward pointing angle -->
+<!ENTITY vangrt "⊾" ><!--right angle, variant -->
+<!ENTITY veeeq "≚" ><!--logical or, equals -->
+<!ENTITY Verbar "‖" ><!--/Vert dbl vertical bar -->
+<!ENTITY wedgeq "≙" ><!--/wedgeq R: corresponds to (wedge, equals) -->
+<!ENTITY xnis "⋻" ><!--large contains, vertical bar on horizontal stroke -->
diff --git a/helm/dtd/mathml2-qname-1.mod b/helm/dtd/mathml2-qname-1.mod
new file mode 100644
index 000000000..4dea63a00
--- /dev/null
+++ b/helm/dtd/mathml2-qname-1.mod
@@ -0,0 +1,268 @@
+<!-- ....................................................................... -->
+<!-- MathML Qualified Names Module ........................................ -->
+<!-- file: mathml2-qname-1.mod
+
+ This is the Mathematical Markup Language (MathML) 2.0, an XML
+ application for describing mathematical notation and capturing
+ both its structure and content.
+
+ Copyright 1998-2000 W3C (MIT, INRIA, Keio), All Rights Reserved.
+ Revision: $Id$
+
+ This DTD module is identified by the PUBLIC and SYSTEM identifiers:
+
+ PUBLIC "-//W3C//ENTITIES MathML 2.0 Qualified Names 1.0//EN"
+ SYSTEM "mathml2-qname-1.mod"
+
+ Revisions:
+ (none)
+ ....................................................................... -->
+
+<!-- MathML Qualified Names
+
+ This module is contained in two parts, labeled Section 'A' and 'B':
+
+ Section A declares parameter entities to support namespace-
+ qualified names, namespace declarations, and name prefixing
+ for MathML.
+
+ Section B declares parameter entities used to provide
+ namespace-qualified names for all MathML element types.
+
+ This module is derived from the XHTML Qualified Names Template module.
+-->
+
+<!-- Section A: XHTML XML Namespace Framework :::::::::::::::::::: -->
+
+<!-- HELM: mathml namespace activated:
+<!ENTITY % NS.prefixed "IGNORE" >-->
+
+<!ENTITY % NS.prefixed "INCLUDE" >
+<!ENTITY % MATHML.prefixed "%NS.prefixed;" >
+
+<!-- XLink ............... -->
+
+<!ENTITY % XLINK.xmlns "http://www.w3.org/1999/xlink" >
+<!ENTITY % XLINK.xmlns.attrib
+ "xmlns:xlink CDATA #FIXED '%XLINK.xmlns;'"
+>
+
+<!-- MathML .............. -->
+
+<!ENTITY % MATHML.xmlns "http://www.w3.org/1998/Math/MathML" >
+<!ENTITY % MATHML.prefix "m" >
+<![%MATHML.prefixed;[
+<!ENTITY % MATHML.xmlns.extra.attrib "" >
+]]>
+<!ENTITY % MATHML.xmlns.extra.attrib
+ "%XLINK.xmlns.attrib;" >
+
+<![%MATHML.prefixed;[
+<!ENTITY % MATHML.pfx "%MATHML.prefix;:" >
+<!ENTITY % MATHML.xmlns.attrib
+ "xmlns:%MATHML.prefix; CDATA #FIXED '%MATHML.xmlns;'
+ %MATHML.xmlns.extra.attrib;"
+>
+]]>
+<!ENTITY % MATHML.pfx "" >
+<!ENTITY % MATHML.xmlns.attrib
+ "xmlns CDATA #FIXED '%MATHML.xmlns;'
+ %MATHML.xmlns.extra.attrib;"
+>
+
+<![%NS.prefixed;[
+<!ENTITY % XHTML.xmlns.extra.attrib
+ "%MATHML.xmlns.attrib;" >
+]]>
+<!ENTITY % XHTML.xmlns.extra.attrib
+ "%XLINK.xmlns.attrib;"
+>
+
+<!-- Section B: MathML Qualified Names ::::::::::::::::::::::::::::: -->
+
+<!-- 9. This section declares parameter entities used to provide
+ namespace-qualified names for all MathML element types.
+-->
+
+<!ENTITY % mspace.qname "%MATHML.pfx;mspace" >
+<!ENTITY % mprescripts.qname "%MATHML.pfx;mprescripts" >
+<!ENTITY % none.qname "%MATHML.pfx;none" >
+<!ENTITY % malignmark.qname "%MATHML.pfx;malignmark" >
+<!ENTITY % maligngroup.qname "%MATHML.pfx;maligngroup" >
+<!ENTITY % mchar.qname "%MATHML.pfx;mchar" >
+<!ENTITY % mglyph.qname "%MATHML.pfx;mglyph" >
+<!ENTITY % integers.qname "%MATHML.pfx;integers" >
+<!ENTITY % reals.qname "%MATHML.pfx;reals" >
+<!ENTITY % rationals.qname "%MATHML.pfx;rationals" >
+<!ENTITY % naturalnumbers.qname "%MATHML.pfx;naturalnumbers" >
+<!ENTITY % complexes.qname "%MATHML.pfx;complexes" >
+<!ENTITY % primes.qname "%MATHML.pfx;primes" >
+<!ENTITY % exponentiale.qname "%MATHML.pfx;exponentiale" >
+<!ENTITY % imaginaryi.qname "%MATHML.pfx;imaginaryi" >
+<!ENTITY % notanumber.qname "%MATHML.pfx;notanumber" >
+<!ENTITY % true.qname "%MATHML.pfx;true" >
+<!ENTITY % false.qname "%MATHML.pfx;false" >
+<!ENTITY % emptyset.qname "%MATHML.pfx;emptyset" >
+<!ENTITY % pi.qname "%MATHML.pfx;pi" >
+<!ENTITY % eulergamma.qname "%MATHML.pfx;eulergamma" >
+<!ENTITY % infinity.qname "%MATHML.pfx;infinity" >
+<!ENTITY % sep.qname "%MATHML.pfx;sep" >
+<!ENTITY % inverse.qname "%MATHML.pfx;inverse" >
+<!ENTITY % ident.qname "%MATHML.pfx;ident" >
+<!ENTITY % compose.qname "%MATHML.pfx;compose" >
+<!ENTITY % exp.qname "%MATHML.pfx;exp" >
+<!ENTITY % abs.qname "%MATHML.pfx;abs" >
+<!ENTITY % arg.qname "%MATHML.pfx;arg" >
+<!ENTITY % real.qname "%MATHML.pfx;real" >
+<!ENTITY % imaginary.qname "%MATHML.pfx;imaginary" >
+<!ENTITY % conjugate.qname "%MATHML.pfx;conjugate" >
+<!ENTITY % factorial.qname "%MATHML.pfx;factorial" >
+<!ENTITY % minus.qname "%MATHML.pfx;minus" >
+<!ENTITY % quotient.qname "%MATHML.pfx;quotient" >
+<!ENTITY % divide.qname "%MATHML.pfx;divide" >
+<!ENTITY % power.qname "%MATHML.pfx;power" >
+<!ENTITY % rem.qname "%MATHML.pfx;rem" >
+<!ENTITY % plus.qname "%MATHML.pfx;plus" >
+<!ENTITY % max.qname "%MATHML.pfx;max" >
+<!ENTITY % min.qname "%MATHML.pfx;min" >
+<!ENTITY % times.qname "%MATHML.pfx;times" >
+<!ENTITY % gcd.qname "%MATHML.pfx;gcd" >
+<!ENTITY % lcm.qname "%MATHML.pfx;lcm" >
+<!ENTITY % root.qname "%MATHML.pfx;root" >
+<!ENTITY % exists.qname "%MATHML.pfx;exists" >
+<!ENTITY % forall.qname "%MATHML.pfx;forall" >
+<!ENTITY % and.qname "%MATHML.pfx;and" >
+<!ENTITY % or.qname "%MATHML.pfx;or" >
+<!ENTITY % xor.qname "%MATHML.pfx;xor" >
+<!ENTITY % not.qname "%MATHML.pfx;not" >
+<!ENTITY % implies.qname "%MATHML.pfx;implies" >
+<!ENTITY % divergence.qname "%MATHML.pfx;divergence" >
+<!ENTITY % grad.qname "%MATHML.pfx;grad" >
+<!ENTITY % curl.qname "%MATHML.pfx;curl" >
+<!ENTITY % laplacian.qname "%MATHML.pfx;laplacian" >
+<!ENTITY % log.qname "%MATHML.pfx;log" >
+<!ENTITY % int.qname "%MATHML.pfx;int" >
+<!ENTITY % diff.qname "%MATHML.pfx;diff" >
+<!ENTITY % partialdiff.qname "%MATHML.pfx;partialdiff" >
+<!ENTITY % ln.qname "%MATHML.pfx;ln" >
+<!ENTITY % card.qname "%MATHML.pfx;card" >
+<!ENTITY % setdiff.qname "%MATHML.pfx;setdiff" >
+<!ENTITY % union.qname "%MATHML.pfx;union" >
+<!ENTITY % intersect.qname "%MATHML.pfx;intersect" >
+<!ENTITY % sum.qname "%MATHML.pfx;sum" >
+<!ENTITY % product.qname "%MATHML.pfx;product" >
+<!ENTITY % limit.qname "%MATHML.pfx;limit" >
+<!ENTITY % sin.qname "%MATHML.pfx;sin" >
+<!ENTITY % cos.qname "%MATHML.pfx;cos" >
+<!ENTITY % tan.qname "%MATHML.pfx;tan" >
+<!ENTITY % sec.qname "%MATHML.pfx;sec" >
+<!ENTITY % csc.qname "%MATHML.pfx;csc" >
+<!ENTITY % cot.qname "%MATHML.pfx;cot" >
+<!ENTITY % sinh.qname "%MATHML.pfx;sinh" >
+<!ENTITY % cosh.qname "%MATHML.pfx;cosh" >
+<!ENTITY % tanh.qname "%MATHML.pfx;tanh" >
+<!ENTITY % sech.qname "%MATHML.pfx;sech" >
+<!ENTITY % csch.qname "%MATHML.pfx;csch" >
+<!ENTITY % coth.qname "%MATHML.pfx;coth" >
+<!ENTITY % arcsin.qname "%MATHML.pfx;arcsin" >
+<!ENTITY % arccos.qname "%MATHML.pfx;arccos" >
+<!ENTITY % arctan.qname "%MATHML.pfx;arctan" >
+<!ENTITY % arccosh.qname "%MATHML.pfx;arccosh" >
+<!ENTITY % arccot.qname "%MATHML.pfx;arccot" >
+<!ENTITY % arccoth.qname "%MATHML.pfx;arccoth" >
+<!ENTITY % arccsc.qname "%MATHML.pfx;arccsc" >
+<!ENTITY % arccsch.qname "%MATHML.pfx;arccsch" >
+<!ENTITY % arcsec.qname "%MATHML.pfx;arcsec" >
+<!ENTITY % arcsech.qname "%MATHML.pfx;arcsech" >
+<!ENTITY % arcsinh.qname "%MATHML.pfx;arcsinh" >
+<!ENTITY % arctanh.qname "%MATHML.pfx;arctanh" >
+<!ENTITY % arccosh.qname "%MATHML.pfx;arccosh" >
+<!ENTITY % mean.qname "%MATHML.pfx;mean" >
+<!ENTITY % sdev.qname "%MATHML.pfx;sdev" >
+<!ENTITY % variance.qname "%MATHML.pfx;variance" >
+<!ENTITY % median.qname "%MATHML.pfx;median" >
+<!ENTITY % mode.qname "%MATHML.pfx;mode" >
+<!ENTITY % moment.qname "%MATHML.pfx;moment" >
+<!ENTITY % determinant.qname "%MATHML.pfx;determinant" >
+<!ENTITY % transpose.qname "%MATHML.pfx;transpose" >
+<!ENTITY % vectorproduct.qname "%MATHML.pfx;vectorproduct" >
+<!ENTITY % scalarproduct.qname "%MATHML.pfx;scalarproduct" >
+<!ENTITY % outerproduct.qname "%MATHML.pfx;outerproduct" >
+<!ENTITY % selector.qname "%MATHML.pfx;selector" >
+<!ENTITY % neq.qname "%MATHML.pfx;neq" >
+<!ENTITY % eq.qname "%MATHML.pfx;eq" >
+<!ENTITY % equivalent.qname "%MATHML.pfx;equivalent" >
+<!ENTITY % approx.qname "%MATHML.pfx;approx" >
+<!ENTITY % gt.qname "%MATHML.pfx;gt" >
+<!ENTITY % lt.qname "%MATHML.pfx;lt" >
+<!ENTITY % geq.qname "%MATHML.pfx;geq" >
+<!ENTITY % leq.qname "%MATHML.pfx;leq" >
+<!ENTITY % in.qname "%MATHML.pfx;in" >
+<!ENTITY % notin.qname "%MATHML.pfx;notin" >
+<!ENTITY % notsubset.qname "%MATHML.pfx;notsubset" >
+<!ENTITY % notprsubset.qname "%MATHML.pfx;notprsubset" >
+<!ENTITY % subset.qname "%MATHML.pfx;subset" >
+<!ENTITY % prsubset.qname "%MATHML.pfx;prsubset" >
+<!ENTITY % tendsto.qname "%MATHML.pfx;tendsto" >
+<!ENTITY % ci.qname "%MATHML.pfx;ci" >
+<!ENTITY % csymbol.qname "%MATHML.pfx;csymbol" >
+<!ENTITY % cn.qname "%MATHML.pfx;cn" >
+<!ENTITY % apply.qname "%MATHML.pfx;apply" >
+<!ENTITY % reln.qname "%MATHML.pfx;reln" >
+<!ENTITY % lambda.qname "%MATHML.pfx;lambda" >
+<!ENTITY % condition.qname "%MATHML.pfx;condition" >
+<!ENTITY % declare.qname "%MATHML.pfx;declare" >
+<!ENTITY % type.qname "%MATHML.pfx;type" >
+<!ENTITY % semantics.qname "%MATHML.pfx;semantics" >
+<!ENTITY % annotation.qname "%MATHML.pfx;annotation" >
+<!ENTITY % annotation-xml.qname "%MATHML.pfx;annotation-xml" >
+<!ENTITY % interval.qname "%MATHML.pfx;interval" >
+<!ENTITY % set.qname "%MATHML.pfx;set" >
+<!ENTITY % list.qname "%MATHML.pfx;list" >
+<!ENTITY % vector.qname "%MATHML.pfx;vector" >
+<!ENTITY % matrix.qname "%MATHML.pfx;matrix" >
+<!ENTITY % matrixrow.qname "%MATHML.pfx;matrixrow" >
+<!ENTITY % fn.qname "%MATHML.pfx;fn" >
+<!ENTITY % lowlimit.qname "%MATHML.pfx;lowlimit" >
+<!ENTITY % uplimit.qname "%MATHML.pfx;uplimit" >
+<!ENTITY % bvar.qname "%MATHML.pfx;bvar" >
+<!ENTITY % degree.qname "%MATHML.pfx;degree" >
+<!ENTITY % logbase.qname "%MATHML.pfx;logbase" >
+<!ENTITY % mstyle.qname "%MATHML.pfx;mstyle" >
+<!ENTITY % merror.qname "%MATHML.pfx;merror" >
+<!ENTITY % mphantom.qname "%MATHML.pfx;mphantom" >
+<!ENTITY % mrow.qname "%MATHML.pfx;mrow" >
+<!ENTITY % mfrac.qname "%MATHML.pfx;mfrac" >
+<!ENTITY % msqrt.qname "%MATHML.pfx;msqrt" >
+<!ENTITY % menclose.qname "%MATHML.pfx;menclose" >
+<!ENTITY % mroot.qname "%MATHML.pfx;mroot" >
+<!ENTITY % msub.qname "%MATHML.pfx;msub" >
+<!ENTITY % msup.qname "%MATHML.pfx;msup" >
+<!ENTITY % msubsup.qname "%MATHML.pfx;msubsup" >
+<!ENTITY % mmultiscripts.qname "%MATHML.pfx;mmultiscripts" >
+<!ENTITY % munder.qname "%MATHML.pfx;munder" >
+<!ENTITY % mover.qname "%MATHML.pfx;mover" >
+<!ENTITY % munderover.qname "%MATHML.pfx;munderover" >
+<!ENTITY % mtable.qname "%MATHML.pfx;mtable" >
+<!ENTITY % mtr.qname "%MATHML.pfx;mtr" >
+<!ENTITY % mlabeledtr.qname "%MATHML.pfx;mlabeledtr" >
+<!ENTITY % mtd.qname "%MATHML.pfx;mtd" >
+<!ENTITY % maction.qname "%MATHML.pfx;maction" >
+<!ENTITY % mfenced.qname "%MATHML.pfx;mfenced" >
+<!ENTITY % mpadded.qname "%MATHML.pfx;mpadded" >
+<!ENTITY % mi.qname "%MATHML.pfx;mi" >
+<!ENTITY % mn.qname "%MATHML.pfx;mn" >
+<!ENTITY % mo.qname "%MATHML.pfx;mo" >
+<!ENTITY % mtext.qname "%MATHML.pfx;mtext" >
+<!ENTITY % ms.qname "%MATHML.pfx;ms" >
+<!ENTITY % math.qname "%MATHML.pfx;math" >
+
+
+<!-- ignores subsequent instantiation of this module when
+ used as external subset rather than module fragment.
+ NOTE: Do not modify this parameter entity, otherwise
+ a recursive parsing situation may result.
+-->
+<!ENTITY % mathml-qname.module "IGNORE" >
+
+<!-- end of template-qname-1.mod -->
diff --git a/helm/dtd/mathml2.dtd b/helm/dtd/mathml2.dtd
new file mode 100644
index 000000000..a9b7bf1ac
--- /dev/null
+++ b/helm/dtd/mathml2.dtd
@@ -0,0 +1,1948 @@
+<!-- MathML 2.0 DTD ....................................................... -->
+<!-- file: mathml2.dtd
+-->
+
+<!-- MathML 2.0 DTD
+
+ This is the Mathematical Markup Language (MathML) 2.0, an XML
+ application for describing mathematical notation and capturing
+ both its structure and content.
+
+ Copyright 1998-2000 World Wide Web Consortium
+ (Massachusetts Institute of Technology, Institut National de
+ Recherche en Informatique et en Automatique, Keio University).
+ All Rights Reserved.
+
+ Permission to use, copy, modify and distribute the XHTML 1.1 DTD and
+ its accompanying documentation for any purpose and without fee is
+ hereby granted in perpetuity, provided that the above copyright notice
+ and this paragraph appear in all copies. The copyright holders make
+ no representation about the suitability of the DTD for any purpose.
+
+ It is provided "as is" without expressed or implied warranty.
+
+ Revision: $Id$
+
+ This entity may be identified by the PUBLIC and SYSTEM identifiers:
+
+ PUBLIC "-//W3C//DTD MathML 2.0//EN"
+ SYSTEM "mathml2.dtd"
+
+ Revisions: editor and revision history at EOF
+-->
+
+
+<!-- MathML Qualified Names module ............................... -->
+<!ENTITY % mathml-qname.module "INCLUDE" >
+<![%mathml-qname.module;[
+<!ENTITY % mathml-qname.mod
+ PUBLIC "-//W3C//ENTITIES MathML 2.0 Qualified Names 1.0//EN"
+ "mathml2-qname-1.mod" >
+%mathml-qname.mod;]]>
+
+<!-- if %NS.prefixed; is INCLUDE, include all NS attributes,
+ otherwise just those associated with MathML
+-->
+<![%NS.prefixed;[
+<!-- HELM: %NamespaceDecl.attrib; not declared !! ENTITY substituted
+<!ENTITY % MATHML.NamespaceDecl.attrib
+ "%NamespaceDecl.attrib;"
+>-->
+<!ENTITY % MATHML.NamespaceDecl.attrib
+ "%MATHML.xmlns.attrib;"
+>
+]]>
+<!ENTITY % MATHML.NamespaceDecl.attrib
+ "%MATHML.xmlns.attrib;"
+>
+
+<!-- Attributes shared by all elements .......................... -->
+
+<!ENTITY % MATHML.Common.attrib
+ "%MATHML.NamespaceDecl.attrib;
+ xlink:href CDATA #IMPLIED
+ class CDATA #IMPLIED
+ style CDATA #IMPLIED
+ id ID #IMPLIED
+ xref IDREF #IMPLIED
+ other CDATA #IMPLIED"
+>
+
+<!-- Presentation element set ................................... -->
+
+<!-- Attribute definitions -->
+
+<!ENTITY % att-fontsize
+ "fontsize CDATA #IMPLIED" >
+<!ENTITY % att-fontweight
+ "fontweight ( normal | bold ) #IMPLIED" >
+<!ENTITY % att-fontstyle
+ "fontstyle ( normal | italic ) #IMPLIED" >
+<!ENTITY % att-fontfamily
+ "fontfamily CDATA #IMPLIED" >
+<!ENTITY % att-color
+ "color CDATA #IMPLIED" >
+
+<!ENTITY % att-fontinfo
+ "%att-fontsize;
+ %att-fontweight;
+ %att-fontstyle;
+ %att-fontfamily;
+ %att-color;"
+>
+
+<!ENTITY % att-form
+ "form ( prefix | infix | postfix ) #IMPLIED" >
+<!ENTITY % att-fence
+ "fence ( true | false ) #IMPLIED" >
+<!ENTITY % att-separator
+ "separator ( true | false ) #IMPLIED" >
+<!ENTITY % att-lspace
+ "lspace CDATA #IMPLIED" >
+<!ENTITY % att-rspace
+ "rspace CDATA #IMPLIED" >
+<!ENTITY % att-stretchy
+ "stretchy ( true | false ) #IMPLIED" >
+<!ENTITY % att-symmetric
+ "symmetric ( true | false ) #IMPLIED" >
+<!ENTITY % att-maxsize
+ "maxsize CDATA #IMPLIED" >
+<!ENTITY % att-minsize
+ "minsize CDATA #IMPLIED" >
+<!ENTITY % att-largeop
+ "largeop ( true | false) #IMPLIED" >
+<!ENTITY % att-movablelimits
+ "movablelimits ( true | false ) #IMPLIED" >
+<!ENTITY % att-accent
+ "accent ( true | false ) #IMPLIED" >
+
+<!ENTITY % att-opinfo
+ "%att-form;
+ %att-fence;
+ %att-separator;
+ %att-lspace;
+ %att-rspace;
+ %att-stretchy;
+ %att-symmetric;
+ %att-maxsize;
+ %att-minsize;
+ %att-largeop;
+ %att-movablelimits;
+ %att-accent;"
+>
+<!ENTITY % att-width
+ "width CDATA #IMPLIED" >
+<!ENTITY % att-height
+ "height CDATA #IMPLIED" >
+<!ENTITY % att-depth
+ "depth CDATA #IMPLIED" >
+<!ENTITY % att-linebreak
+ "linebreak CDATA #IMPLIED" >
+<!ENTITY % att-sizeinfo
+ "%att-width;
+ %att-height;
+ %att-depth;"
+>
+<!ENTITY % att-lquote
+ "lquote CDATA #IMPLIED" >
+<!ENTITY % att-rquote
+ "rquote CDATA #IMPLIED" >
+<!ENTITY % att-linethickness
+ "linethickness CDATA #IMPLIED" >
+<!ENTITY % att-scriptlevel
+ "scriptlevel CDATA #IMPLIED" >
+<!ENTITY % att-displaystyle
+ "displaystyle ( true | false ) #IMPLIED" >
+<!ENTITY % att-scriptsizemultiplier
+ "scriptsizemultiplier CDATA #IMPLIED" >
+<!ENTITY % att-scriptminsize
+ "scriptminsize CDATA #IMPLIED" >
+<!ENTITY % att-background
+ "background CDATA #IMPLIED" >
+<!ENTITY % att-open
+ "open CDATA #IMPLIED" >
+<!ENTITY % att-close
+ "close CDATA #IMPLIED" >
+<!ENTITY % att-separators
+ "separators CDATA #IMPLIED" >
+<!ENTITY % att-subscriptshift
+ "subscriptshift CDATA #IMPLIED" >
+<!ENTITY % att-superscriptshift
+ "superscriptshift CDATA #IMPLIED" >
+<!ENTITY % att-accentunder
+ "accentunder ( true | false ) #IMPLIED" >
+<!ENTITY % att-align
+ "align CDATA #IMPLIED" >
+<!ENTITY % att-rowalign
+ "rowalign CDATA #IMPLIED" >
+<!ENTITY % att-columnalign
+ "columnalign CDATA #IMPLIED" >
+<!ENTITY % att-columnwidth
+ "columnwidth CDATA #IMPLIED" >
+<!ENTITY % att-groupalign
+ "groupalign CDATA #IMPLIED" >
+<!ENTITY % att-alignmentscope
+ "alignmentscope CDATA #IMPLIED" >
+<!ENTITY % att-rowspacing
+ "rowspacing CDATA #IMPLIED" >
+<!ENTITY % att-columnspacing
+ "columnspacing CDATA #IMPLIED" >
+<!ENTITY % att-rowlines
+ "rowlines CDATA #IMPLIED" >
+<!ENTITY % att-columnlines
+ "columnlines CDATA #IMPLIED" >
+<!ENTITY % att-frame
+ "frame ( none | solid | dashed ) #IMPLIED" >
+<!ENTITY % att-framespacing
+ "framespacing CDATA #IMPLIED" >
+<!ENTITY % att-equalrows
+ "equalrows CDATA #IMPLIED" >
+<!ENTITY % att-equalcolumns
+ "equalcolumns CDATA #IMPLIED" >
+
+<!ENTITY % att-tableinfo
+ "%att-align;
+ %att-rowalign;
+ %att-columnalign;
+ %att-columnwidth;
+ %att-groupalign;
+ %att-alignmentscope;
+ %att-rowspacing;
+ %att-columnspacing;
+ %att-rowlines;
+ %att-columnlines;
+ %att-frame;
+ %att-framespacing;
+ %att-equalrows;
+ %att-equalcolumns;
+ %att-displaystyle;"
+>
+
+<!ENTITY % att-rowspan
+ "rowspan CDATA #IMPLIED" >
+<!ENTITY % att-columnspan
+ "columnspan CDATA #IMPLIED" >
+<!ENTITY % att-edge
+ "edge ( left | right ) #IMPLIED" >
+<!ENTITY % att-actiontype
+ "actiontype CDATA #IMPLIED" >
+<!ENTITY % att-selection
+ "selection CDATA #IMPLIED" >
+
+<!ENTITY % att-name
+ "name CDATA #IMPLIED" >
+<!ENTITY % att-alt
+ "alt CDATA #IMPLIED" >
+<!ENTITY % att-index
+ "index CDATA #IMPLIED" >
+
+<!ENTITY % att-bevelled
+ "bevelled CDATA #IMPLIED" >
+
+<!-- Presentation schemata with content -->
+
+<!ENTITY % ptoken
+ "%mi.qname; | %mn.qname; | %mo.qname;
+ | %mtext.qname; | %ms.qname;" >
+
+<!ATTLIST %mi.qname;
+ %MATHML.Common.attrib;
+ %att-fontinfo;
+>
+
+<!ATTLIST %mn.qname;
+ %MATHML.Common.attrib;
+ %att-fontinfo;
+>
+
+<!ATTLIST %mo.qname;
+ %MATHML.Common.attrib;
+ %att-fontinfo;
+ %att-opinfo;
+>
+
+<!ATTLIST %mtext.qname;
+ %MATHML.Common.attrib;
+ %att-fontinfo;
+>
+
+<!ATTLIST %ms.qname;
+ %MATHML.Common.attrib;
+ %att-fontinfo;
+ %att-lquote;
+ %att-rquote;
+>
+
+<!-- Empty presentation schemata -->
+
+<!ENTITY % petoken
+ "%mspace.qname;" >
+<!ELEMENT %mspace.qname; EMPTY >
+
+<!ATTLIST %mspace.qname;
+ %att-sizeinfo;
+ %att-linebreak;
+ %MATHML.Common.attrib;
+>
+
+<!-- Presentation: general layout schemata -->
+
+<!ENTITY % pgenschema
+ "%mrow.qname; | %mfrac.qname; | %msqrt.qname; | %mroot.qname;
+ | %menclose.qname; | %mstyle.qname; | %merror.qname;
+ | %mpadded.qname; | %mphantom.qname; | %mfenced.qname;" >
+
+<!ATTLIST %mrow.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %mfrac.qname;
+ %MATHML.Common.attrib;
+ %att-bevelled;
+ %att-linethickness;
+>
+
+<!ATTLIST %msqrt.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %menclose.qname;
+ %MATHML.Common.attrib;
+ notation CDATA 'longdiv' >
+
+<!ATTLIST %mroot.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %mstyle.qname;
+ %MATHML.Common.attrib;
+ %att-fontinfo;
+ %att-opinfo;
+ %att-lquote;
+ %att-rquote;
+ %att-linethickness;
+ %att-scriptlevel;
+ %att-scriptsizemultiplier;
+ %att-scriptminsize;
+ %att-background;
+ %att-open;
+ %att-close;
+ %att-separators;
+ %att-subscriptshift;
+ %att-superscriptshift;
+ %att-accentunder;
+ %att-tableinfo;
+ %att-rowspan;
+ %att-columnspan;
+ %att-edge;
+ %att-actiontype;
+ %att-selection;
+>
+
+<!ATTLIST %merror.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %mpadded.qname;
+ %MATHML.Common.attrib;
+ %att-sizeinfo;
+ %att-lspace;
+>
+
+<!ATTLIST %mphantom.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %mfenced.qname;
+ %MATHML.Common.attrib;
+ %att-open;
+ %att-close;
+ %att-separators;
+>
+
+<!-- Presentation layout schemata: scripts and limits -->
+
+<!ENTITY % pscrschema
+ "%msub.qname; | %msup.qname; | %msubsup.qname; | %munder.qname;
+ | %mover.qname; | %munderover.qname; | %mmultiscripts.qname;" >
+
+<!ATTLIST %msub.qname;
+ %MATHML.Common.attrib;
+ %att-subscriptshift;
+>
+
+<!ATTLIST %msup.qname;
+ %MATHML.Common.attrib;
+ %att-superscriptshift;
+>
+
+<!ATTLIST %msubsup.qname;
+ %MATHML.Common.attrib;
+ %att-subscriptshift;
+ %att-superscriptshift;
+>
+
+<!ATTLIST %munder.qname;
+ %MATHML.Common.attrib;
+ %att-accentunder;
+>
+
+<!ATTLIST %mover.qname;
+ %MATHML.Common.attrib;
+ %att-accent;
+>
+
+<!ATTLIST %munderover.qname;
+ %MATHML.Common.attrib;
+ %att-accent;
+ %att-accentunder;
+>
+
+<!ATTLIST %mmultiscripts.qname;
+ %MATHML.Common.attrib;
+ %att-subscriptshift;
+ %att-superscriptshift;
+>
+
+<!-- Presentation layout schemata: empty elements for scripts -->
+
+<!ENTITY % pscreschema
+ "%mprescripts.qname; | %none.qname;" >
+
+<!ELEMENT %mprescripts.qname; EMPTY >
+<!ATTLIST %mprescripts.qname;
+ %MATHML.xmlns.attrib; >
+
+<!ELEMENT %none.qname; EMPTY >
+<!ATTLIST %none.qname;
+ %MATHML.xmlns.attrib; >
+
+<!-- Presentation layout schemata: tables -->
+
+<!ENTITY % ptabschema
+ "%mtable.qname; | %mtr.qname; | %mlabeledtr.qname; | %mtd.qname;" >
+
+<!ATTLIST %mtable.qname;
+ %MATHML.Common.attrib;
+ %att-tableinfo;
+>
+
+<!ATTLIST %mtr.qname;
+ %MATHML.Common.attrib;
+ %att-rowalign;
+ %att-columnalign;
+ %att-groupalign;
+>
+
+<!ATTLIST %mlabeledtr.qname;
+ %MATHML.Common.attrib;
+ %att-rowalign;
+ %att-columnalign;
+ %att-groupalign;
+>
+
+<!ATTLIST %mtd.qname;
+ %MATHML.Common.attrib;
+ %att-rowalign;
+ %att-columnalign;
+ %att-groupalign;
+ %att-rowspan;
+ %att-columnspan;
+>
+
+<!ENTITY % plschema
+ "%pgenschema; | %pscrschema; | %ptabschema;" >
+
+<!-- Empty presentation layout schemata -->
+
+<!ENTITY % peschema
+ "%maligngroup.qname; | %malignmark.qname;" >
+
+<!ELEMENT %malignmark.qname; EMPTY >
+
+<!ATTLIST %malignmark.qname;
+ %att-edge; >
+
+<!ELEMENT %maligngroup.qname; EMPTY >
+<!ATTLIST %maligngroup.qname;
+ %MATHML.Common.attrib;
+ %att-groupalign;
+>
+
+<!ELEMENT %mchar.qname; EMPTY >
+<!ATTLIST %mchar.qname;
+ %att-name; >
+
+<!ELEMENT %mglyph.qname; EMPTY >
+<!ATTLIST %mglyph.qname;
+ %att-alt;
+ %att-fontfamily;
+ %att-index; >
+
+<!-- Presentation action schemata -->
+
+<!ENTITY % pactions
+ "%maction.qname;" >
+<!ATTLIST %maction.qname;
+ %MATHML.Common.attrib;
+ %att-actiontype;
+ %att-selection;
+>
+
+<!-- The following entity for substitution into
+ content constructs excludes elements that
+ are not valid as expressions.
+-->
+
+<!ENTITY % PresInCont
+ "%ptoken; | %petoken; |
+ %plschema; | %peschema; | %pactions;" >
+
+<!-- Presentation entity: all presentation constructs -->
+
+<!ENTITY % Presentation
+ "%ptoken; | %petoken; | %pscreschema; |
+ %plschema; | %peschema; | %pactions;">
+
+<!-- Content element set ........................................ -->
+
+<!-- Attribute definitions -->
+
+<!ENTITY % att-base
+ "base CDATA '10'" >
+<!ENTITY % att-closure
+ "closure CDATA 'closed'" >
+<!ENTITY % att-definition
+ "definitionURL CDATA ''" >
+<!ENTITY % att-encoding
+ "encoding CDATA ''" >
+<!ENTITY % att-nargs
+ "nargs CDATA '1'" >
+<!ENTITY % att-occurrence
+ "occurrence CDATA 'function-model'" >
+<!ENTITY % att-order
+ "order CDATA 'numeric'" >
+<!ENTITY % att-scope
+ "scope CDATA 'local'" >
+<!ENTITY % att-type
+ "type CDATA #IMPLIED" >
+
+<!-- Content elements: leaf nodes -->
+
+<!ENTITY % ctoken
+ "%csymbol.qname; | %ci.qname; | %cn.qname;" >
+
+<!ATTLIST %ci.qname;
+ %MATHML.Common.attrib;
+ %att-type;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ATTLIST %csymbol.qname;
+ %MATHML.Common.attrib;
+ %att-encoding;
+ %att-type;
+ %att-definition;
+>
+
+<!ATTLIST %cn.qname;
+ %MATHML.Common.attrib;
+ %att-type;
+ %att-base;
+ %att-definition;
+ %att-encoding;
+>
+
+<!-- Content elements: specials -->
+
+<!ENTITY % cspecial
+ "%apply.qname; | %reln.qname; |
+ %lambda.qname;" >
+
+<!ATTLIST %apply.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %reln.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %lambda.qname;
+ %MATHML.Common.attrib;
+>
+
+<!-- Content elements: others -->
+<!-- HELM: added the content element type to cother-->
+<!ENTITY % cother
+ "%condition.qname; | %declare.qname; | %sep.qname; | %type.qname;" >
+
+<!ATTLIST %condition.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %declare.qname;
+ %MATHML.Common.attrib;
+ %att-type;
+ %att-scope;
+ %att-nargs;
+ %att-occurrence;
+ %att-definition;
+ %att-encoding;
+>
+
+<!-- HELM: added attributes to the type element -->
+<!ATTLIST %type.qname; %MATHML.Common.attrib; >
+
+<!ELEMENT %sep.qname; EMPTY >
+<!ATTLIST %sep.qname;
+ %MATHML.xmlns.attrib; >
+
+<!-- Content elements: semantic mapping -->
+
+<!ENTITY % csemantics
+ "%semantics.qname; | %annotation.qname; |
+ %annotation-xml.qname;" >
+
+<!ATTLIST %semantics.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ATTLIST %annotation.qname;
+ %MATHML.Common.attrib;
+ %att-encoding;
+>
+
+<!ATTLIST %annotation-xml.qname;
+ %MATHML.Common.attrib;
+ %att-encoding;
+>
+
+<!-- Content elements: constructors -->
+
+<!ENTITY % cconstructor
+ "%interval.qname; | %list.qname; | %matrix.qname;
+ | %matrixrow.qname; | %set.qname; | %vector.qname;" >
+
+<!ATTLIST %interval.qname;
+ %MATHML.Common.attrib;
+ %att-closure;
+>
+
+<!ATTLIST %set.qname;
+ %MATHML.Common.attrib;
+ %att-type;
+>
+
+<!ATTLIST %list.qname;
+ %MATHML.Common.attrib;
+ %att-order;
+>
+
+<!ATTLIST %vector.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %matrix.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %matrixrow.qname;
+ %MATHML.Common.attrib;
+>
+
+<!-- Content elements: symbols -->
+
+<!ENTITY % c0ary
+ "%integers.qname; |
+ %reals.qname; |
+ %rationals.qname; |
+ %naturalnumbers.qname; |
+ %complexes.qname; |
+ %primes.qname; |
+ %exponentiale.qname; |
+ %imaginaryi.qname; |
+ %notanumber.qname; |
+ %true.qname; |
+ %false.qname; |
+ %emptyset.qname; |
+ %pi.qname; |
+ %eulergamma.qname; |
+ %infinity.qname;" >
+
+<!ELEMENT %integers.qname; EMPTY >
+<!ATTLIST %integers.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %reals.qname; EMPTY >
+<!ATTLIST %reals.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %rationals.qname; EMPTY >
+<!ATTLIST %rationals.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %naturalnumbers.qname; EMPTY >
+<!ATTLIST %naturalnumbers.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %complexes.qname; EMPTY >
+<!ATTLIST %complexes.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %primes.qname; EMPTY >
+<!ATTLIST %primes.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %exponentiale.qname; EMPTY >
+<!ATTLIST %exponentiale.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %imaginaryi.qname; EMPTY >
+<!ATTLIST %imaginaryi.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %notanumber.qname; EMPTY >
+<!ATTLIST %notanumber.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %true.qname; EMPTY >
+<!ATTLIST %true.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %false.qname; EMPTY >
+<!ATTLIST %false.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %emptyset.qname; EMPTY >
+<!ATTLIST %emptyset.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %pi.qname; EMPTY >
+<!ATTLIST %pi.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %eulergamma.qname; EMPTY >
+<!ATTLIST %eulergamma.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %infinity.qname; EMPTY >
+<!ATTLIST %infinity.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!-- Content elements: operators -->
+
+<!ENTITY % cfuncop1ary
+ "%inverse.qname; | %ident.qname;" >
+
+<!ELEMENT %inverse.qname; EMPTY >
+<!ATTLIST %inverse.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % cfuncopnary
+ "%fn.qname; | %compose.qname;" >
+
+<!ATTLIST %fn.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %ident.qname; EMPTY >
+<!ATTLIST %ident.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %compose.qname; EMPTY >
+<!ATTLIST %compose.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % carithop1ary
+ "%abs.qname; | %conjugate.qname; | %exp.qname; | %factorial.qname; |
+ %arg.qname; | %real.qname; | %imaginary.qname;" >
+
+<!ELEMENT %exp.qname; EMPTY >
+<!ATTLIST %exp.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %abs.qname; EMPTY >
+<!ATTLIST %abs.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arg.qname; EMPTY >
+<!ATTLIST %arg.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %real.qname; EMPTY >
+<!ATTLIST %real.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %imaginary.qname; EMPTY >
+<!ATTLIST %imaginary.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %conjugate.qname; EMPTY >
+<!ATTLIST %conjugate.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %factorial.qname; EMPTY >
+<!ATTLIST %factorial.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % carithop1or2ary
+ "%minus.qname;" >
+
+<!ELEMENT %minus.qname; EMPTY >
+<!ATTLIST %minus.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % carithop2ary
+ "%quotient.qname; | %divide.qname; | %power.qname; | %rem.qname;" >
+
+<!ELEMENT %quotient.qname; EMPTY >
+<!ATTLIST %quotient.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %divide.qname; EMPTY >
+<!ATTLIST %divide.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %power.qname; EMPTY >
+<!ATTLIST %power.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %rem.qname; EMPTY >
+<!ATTLIST %rem.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % carithopnary
+ "%plus.qname; | %times.qname; | %max.qname;
+ | %min.qname; | %gcd.qname; | %lcm.qname;" >
+
+<!ELEMENT %plus.qname; EMPTY >
+<!ATTLIST %plus.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %max.qname; EMPTY >
+<!ATTLIST %max.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %min.qname; EMPTY >
+<!ATTLIST %min.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %times.qname; EMPTY >
+<!ATTLIST %times.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %gcd.qname; EMPTY >
+<!ATTLIST %gcd.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %lcm.qname; EMPTY >
+<!ATTLIST %lcm.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % carithoproot
+ "%root.qname;" >
+
+<!ELEMENT %root.qname; EMPTY >
+<!ATTLIST %root.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clogicopquant
+ "%exists.qname; | %forall.qname;" >
+
+<!ELEMENT %exists.qname; EMPTY >
+<!ATTLIST %exists.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %forall.qname; EMPTY >
+<!ATTLIST %forall.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clogicopnary
+ "%and.qname; | %or.qname; | %xor.qname;" >
+
+<!ELEMENT %and.qname; EMPTY >
+<!ATTLIST %and.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %or.qname; EMPTY >
+<!ATTLIST %or.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %xor.qname; EMPTY >
+<!ATTLIST %xor.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clogicop1ary
+ "%not.qname;" >
+
+<!ELEMENT %not.qname; EMPTY >
+<!ATTLIST %not.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clogicop2ary
+ "%implies.qname;" >
+
+<!ELEMENT %implies.qname; EMPTY >
+<!ATTLIST %implies.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % ccalcop
+ "%log.qname; | %int.qname; | %diff.qname; | %partialdiff.qname; |
+ %divergence.qname; | %grad.qname; | %curl.qname; | %laplacian.qname;" >
+
+<!ELEMENT %divergence.qname; EMPTY >
+<!ATTLIST %divergence.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %grad.qname; EMPTY >
+<!ATTLIST %grad.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %curl.qname; EMPTY >
+<!ATTLIST %curl.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %laplacian.qname; EMPTY >
+<!ATTLIST %laplacian.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %log.qname; EMPTY >
+<!ATTLIST %log.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %int.qname; EMPTY >
+<!ATTLIST %int.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %diff.qname; EMPTY >
+<!ATTLIST %diff.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %partialdiff.qname; EMPTY >
+<!ATTLIST %partialdiff.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % ccalcop1ary
+ "%ln.qname;" >
+
+<!ELEMENT %ln.qname; EMPTY >
+<!ATTLIST %ln.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % csetop1ary
+ "%card.qname;" >
+
+<!ELEMENT %card.qname; EMPTY >
+<!ATTLIST %card.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % csetop2ary
+ "%setdiff.qname;" >
+
+<!ELEMENT %setdiff.qname; EMPTY >
+<!ATTLIST %setdiff.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % csetopnary
+ "%union.qname; | %intersect.qname;" >
+
+<!ELEMENT %union.qname; EMPTY >
+<!ATTLIST %union.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %intersect.qname; EMPTY >
+<!ATTLIST %intersect.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % cseqop
+ "%sum.qname; | %product.qname; | %limit.qname;" >
+
+<!ELEMENT %sum.qname; EMPTY >
+<!ATTLIST %sum.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %product.qname; EMPTY >
+<!ATTLIST %product.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %limit.qname; EMPTY >
+<!ATTLIST %limit.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % ctrigop
+ "%sin.qname; | %cos.qname; | %tan.qname;
+ | %sec.qname; | %csc.qname; | %cot.qname;
+ | %sinh.qname; | %cosh.qname; | %tanh.qname;
+ | %sech.qname; | %csch.qname; | %coth.qname;
+ | %arcsin.qname; | %arccos.qname; | %arctan.qname;
+ | %arccosh.qname; | %arccot.qname; | %arccoth.qname;
+ | %arccsc.qname; | %arccsch.qname; | %arcsec.qname;
+ | %arcsech.qname; | %arcsinh.qname; | %arctanh.qname;
+ " >
+
+<!ELEMENT %sin.qname; EMPTY >
+<!ATTLIST %sin.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %cos.qname; EMPTY >
+<!ATTLIST %cos.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %tan.qname; EMPTY >
+<!ATTLIST %tan.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %sec.qname; EMPTY >
+<!ATTLIST %sec.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %csc.qname; EMPTY >
+<!ATTLIST %csc.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %cot.qname; EMPTY >
+<!ATTLIST %cot.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %sinh.qname; EMPTY >
+<!ATTLIST %sinh.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %cosh.qname; EMPTY >
+<!ATTLIST %cosh.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %tanh.qname; EMPTY >
+<!ATTLIST %tanh.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %sech.qname; EMPTY >
+<!ATTLIST %sech.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %csch.qname; EMPTY >
+<!ATTLIST %csch.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %coth.qname; EMPTY >
+<!ATTLIST %coth.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arcsin.qname; EMPTY >
+<!ATTLIST %arcsin.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arccos.qname; EMPTY >
+<!ATTLIST %arccos.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arctan.qname; EMPTY >
+<!ATTLIST %arctan.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arccosh.qname; EMPTY >
+<!ATTLIST %arccosh.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+
+<!ELEMENT %arccot.qname; EMPTY >
+<!ATTLIST %arccot.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arccoth.qname; EMPTY >
+<!ATTLIST %arccoth.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+
+<!ELEMENT %arccsc.qname; EMPTY >
+<!ATTLIST %arccsc.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arccsch.qname; EMPTY >
+<!ATTLIST %arccsch.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arcsec.qname; EMPTY >
+<!ATTLIST %arcsec.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arcsech.qname; EMPTY >
+<!ATTLIST %arcsech.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arcsinh.qname; EMPTY >
+<!ATTLIST %arcsinh.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %arctanh.qname; EMPTY >
+<!ATTLIST %arctanh.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+
+
+<!ENTITY % cstatopnary
+ "%mean.qname; | %sdev.qname; |
+ %variance.qname; | %median.qname; |
+ %mode.qname;" >
+
+<!ELEMENT %mean.qname; EMPTY >
+<!ATTLIST %mean.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %sdev.qname; EMPTY >
+<!ATTLIST %sdev.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %variance.qname; EMPTY >
+<!ATTLIST %variance.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %median.qname; EMPTY >
+<!ATTLIST %median.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %mode.qname; EMPTY >
+<!ATTLIST %mode.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % cstatopmoment
+ "%moment.qname;" >
+
+<!ELEMENT %moment.qname; EMPTY >
+<!ATTLIST %moment.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clalgop1ary
+ "%determinant.qname; |
+ %transpose.qname;" >
+
+<!ELEMENT %determinant.qname; EMPTY >
+<!ATTLIST %determinant.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %transpose.qname; EMPTY >
+<!ATTLIST %transpose.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clalgop2ary
+ "%vectorproduct.qname;
+ | %scalarproduct.qname;
+ | %outerproduct.qname;" >
+
+<!ELEMENT %vectorproduct.qname; EMPTY >
+<!ATTLIST %vectorproduct.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %scalarproduct.qname; EMPTY >
+<!ATTLIST %scalarproduct.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %outerproduct.qname; EMPTY >
+<!ATTLIST %outerproduct.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % clalgopnary
+ "%selector.qname;" >
+
+<!ELEMENT %selector.qname; EMPTY >
+<!ATTLIST %selector.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!-- Content elements: relations -->
+
+<!ENTITY % cgenrel2ary
+ "%neq.qname;" >
+
+<!ELEMENT %neq.qname; EMPTY >
+<!ATTLIST %neq.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % cgenrelnary
+ "%eq.qname; | %leq.qname; | %lt.qname; | %geq.qname;
+ | %gt.qname;| %equivalent.qname; | %approx.qname;" >
+
+<!ELEMENT %eq.qname; EMPTY >
+<!ATTLIST %eq.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %equivalent.qname; EMPTY >
+<!ATTLIST %equivalent.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %approx.qname; EMPTY >
+<!ATTLIST %approx.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %gt.qname; EMPTY >
+<!ATTLIST %gt.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %lt.qname; EMPTY >
+<!ATTLIST %lt.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %geq.qname; EMPTY >
+<!ATTLIST %geq.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %leq.qname; EMPTY >
+<!ATTLIST %leq.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % csetrel2ary
+ "%in.qname; | %notin.qname; | %notsubset.qname; | %notprsubset.qname;" >
+
+<!ELEMENT %in.qname; EMPTY >
+<!ATTLIST %in.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %notin.qname; EMPTY >
+<!ATTLIST %notin.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %notsubset.qname; EMPTY >
+<!ATTLIST %notsubset.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %notprsubset.qname; EMPTY >
+<!ATTLIST %notprsubset.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % csetrelnary
+ "%subset.qname; | %prsubset.qname;" >
+
+<!ELEMENT %subset.qname; EMPTY >
+<!ATTLIST %subset.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ELEMENT %prsubset.qname; EMPTY >
+<!ATTLIST %prsubset.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+>
+
+<!ENTITY % cseqrel2ary
+ "%tendsto.qname;" >
+
+<!ELEMENT %tendsto.qname; EMPTY >
+<!ATTLIST %tendsto.qname;
+ %MATHML.Common.attrib;
+ %att-definition;
+ %att-encoding;
+ %att-type;
+>
+
+<!-- Content elements: quantifiers -->
+
+<!ENTITY % cquantifier
+ "%lowlimit.qname; | %uplimit.qname; | %bvar.qname;
+ | %degree.qname; | %logbase.qname;" >
+
+<!ATTLIST %lowlimit.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %uplimit.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %bvar.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %degree.qname;
+ %MATHML.Common.attrib;
+>
+
+<!ATTLIST %logbase.qname;
+ %MATHML.Common.attrib;
+>
+
+<!-- Operator groups -->
+
+<!ENTITY % cop1ary
+ "%cfuncop1ary; | %carithop1ary; | %clogicop1ary; |
+ %ccalcop1ary; | %ctrigop; | %clalgop1ary; |
+ %csetop1ary;" >
+
+<!ENTITY % cop2ary
+ "%carithop2ary; | %clogicop2ary;| %clalgop2ary; | %csetop2ary;" >
+
+<!ENTITY % copnary
+ "%cfuncopnary; | %carithopnary; | %clogicopnary; |
+ %csetopnary; | %cstatopnary; | %clalgopnary;" >
+
+<!ENTITY % copmisc
+ "%carithoproot; | %carithop1or2ary; | %ccalcop; |
+ %cseqop; | %cstatopmoment; | %clogicopquant;" >
+
+<!-- Relation groups -->
+
+<!ENTITY % crel2ary
+ "%cgenrel2ary; | %csetrel2ary; | %cseqrel2ary;" >
+
+<!ENTITY % crelnary
+ "%cgenrelnary; | %csetrelnary;" >
+
+<!-- Content constructs: all -->
+
+<!ENTITY % Content
+ "%ctoken; | %cspecial; | %cother; | %csemantics; | %c0ary;
+ | %cconstructor; | %cquantifier; | %cop1ary; | %cop2ary;
+ | %copnary; |%copmisc; | %crel2ary; | %crelnary;" >
+
+<!-- Content constructs for substitution in presentation structures -->
+
+<!ENTITY % ContInPres
+ "%ci.qname; |%csymbol.qname;| %cn.qname;|
+ %apply.qname; | %fn.qname; |
+ %lambda.qname; | %reln.qname; |
+ %interval.qname; | %list.qname; |
+ %matrix.qname; | %matrixrow.qname; |
+ %set.qname; | %vector.qname; |
+ %semantics.qname; |%declare.qname;" >
+
+<!-- ............................................................. -->
+<!-- Recursive definition for content of expressions. Include
+ presentation constructs at lowest level so presentation
+ layout schemata hold presentation or content elements.
+ Include content constructs at lowest level so content
+ elements hold PCDATA or presentation elements at leaf
+ level (for permitted substitutable elements in context)
+-->
+
+<!ENTITY % ContentExpression
+ "(%Content; | %PresInCont;)*" >
+<!ENTITY % PresExpression
+ "(%Presentation; | %ContInPres;)*" >
+<!ENTITY % MathExpression
+ "(%PresInCont; | %ContInPres;)*" >
+
+<!-- PCDATA or MathML character elements -->
+<!ENTITY % MathMLCharacters
+ "#PCDATA | %mchar.qname; | %mglyph.qname; " >
+
+<!-- Content elements: tokens -->
+<!-- (may contain embedded presentation constructs) -->
+
+<!ELEMENT %ci.qname; (%MathMLCharacters; | %PresInCont;)* >
+<!ELEMENT %csymbol.qname; (%MathMLCharacters; | %PresInCont;)* >
+<!ELEMENT %cn.qname; (%MathMLCharacters; | %sep.qname; | %PresInCont;)* >
+
+<!-- Content elements: special -->
+
+<!ELEMENT %apply.qname; (%ContentExpression;) >
+<!ELEMENT %reln.qname; (%ContentExpression;) >
+<!ELEMENT %lambda.qname; (%ContentExpression;) >
+
+<!-- Content elements: other -->
+
+<!ELEMENT %condition.qname; (%ContentExpression;) >
+<!ELEMENT %declare.qname; (%ContentExpression;) >
+<!-- HELM: added the content element type -->
+<!ELEMENT %type.qname; (%ContentExpression;) >
+
+<!-- Content elements: semantics -->
+
+<!ELEMENT %semantics.qname; (%ContentExpression;) >
+<!ENTITY % Annotation.content "( #PCDATA )" >
+<!ELEMENT %annotation.qname; %Annotation.content; >
+
+<!ENTITY % Annotation-xml.content "ANY" >
+<!ELEMENT %annotation-xml.qname; %Annotation-xml.content; >
+
+<!-- Content elements: constructors -->
+
+<!ELEMENT %interval.qname; (%ContentExpression;) >
+<!ELEMENT %set.qname; (%ContentExpression;) >
+<!ELEMENT %list.qname; (%ContentExpression;) >
+<!ELEMENT %vector.qname; (%ContentExpression;) >
+<!ELEMENT %matrix.qname; (%ContentExpression;) >
+<!ELEMENT %matrixrow.qname; (%ContentExpression;) >
+
+<!-- Content elements: operator (user-defined) -->
+
+<!ELEMENT %fn.qname; (%ContentExpression;) >
+
+<!-- Content elements: quantifiers -->
+
+<!ELEMENT %lowlimit.qname; (%ContentExpression;) >
+<!ELEMENT %uplimit.qname; (%ContentExpression;) >
+<!ELEMENT %bvar.qname; (%ContentExpression;) >
+<!ELEMENT %degree.qname; (%ContentExpression;) >
+<!ELEMENT %logbase.qname; (%ContentExpression;) >
+
+<!-- ............................................................. -->
+<!-- Presentation layout schemata contain tokens,
+ layout and content schemata.
+-->
+
+<!ELEMENT %mstyle.qname; (%PresExpression;) >
+<!ELEMENT %merror.qname; (%PresExpression;) >
+<!ELEMENT %mphantom.qname; (%PresExpression;) >
+<!ELEMENT %mrow.qname; (%PresExpression;) >
+<!ELEMENT %mfrac.qname; (%PresExpression;) >
+<!ELEMENT %msqrt.qname; (%PresExpression;) >
+<!ELEMENT %menclose.qname; (%PresExpression;) >
+<!ELEMENT %mroot.qname; (%PresExpression;) >
+<!ELEMENT %msub.qname; (%PresExpression;) >
+<!ELEMENT %msup.qname; (%PresExpression;) >
+<!ELEMENT %msubsup.qname; (%PresExpression;) >
+<!ELEMENT %mmultiscripts.qname; (%PresExpression;) >
+<!ELEMENT %munder.qname; (%PresExpression;) >
+<!ELEMENT %mover.qname; (%PresExpression;) >
+<!ELEMENT %munderover.qname; (%PresExpression;) >
+<!ELEMENT %mtable.qname; (%PresExpression;) >
+<!ELEMENT %mtr.qname; (%PresExpression;) >
+<!ELEMENT %mlabeledtr.qname; (%PresExpression;) >
+<!ELEMENT %mtd.qname; (%PresExpression;) >
+<!ELEMENT %maction.qname; (%PresExpression;) >
+<!ELEMENT %mfenced.qname; (%PresExpression;) >
+<!ELEMENT %mpadded.qname; (%PresExpression;) >
+
+<!-- Presentation elements contain PCDATA or malignmark constructs. -->
+
+<!ELEMENT %mi.qname; (%MathMLCharacters; |
+ %malignmark.qname;)* >
+<!ELEMENT %mn.qname; (%MathMLCharacters; |
+ %malignmark.qname;)* >
+<!ELEMENT %mo.qname; (%MathMLCharacters; |
+ %malignmark.qname;)* >
+<!ELEMENT %mtext.qname; (%MathMLCharacters; |
+ %malignmark.qname;)* >
+<!ELEMENT %ms.qname; (%MathMLCharacters; |
+ %malignmark.qname;)* >
+
+<!-- Browser interface definition ............................... -->
+
+<!-- Attributes for top-level element "math" -->
+
+<!ENTITY % att-macros
+ "macros CDATA #IMPLIED" >
+<!ENTITY % att-mode
+ "mode CDATA #IMPLIED" >
+<!ENTITY % att-display
+ "display CDATA #IMPLIED" >
+
+<!ENTITY % att-topinfo
+ "%MATHML.Common.attrib;
+ %att-macros;
+ %att-mode;
+ %att-display;" >
+
+<!-- Attributes for browser interface element -->
+
+<!ENTITY % att-baseline
+ "baseline CDATA #IMPLIED" >
+<!ENTITY % att-overflow
+ "overflow ( scroll | elide | truncate | scale ) 'scroll'" >
+<!ENTITY % att-altimg
+ "altimg CDATA #IMPLIED" >
+<!ENTITY % att-alttext
+ "alttext CDATA #IMPLIED" >
+
+<!ENTITY % att-browif
+ "%att-type;
+ %att-name;
+ %att-height;
+ %att-width;
+ %att-baseline;
+ %att-overflow;
+ %att-altimg;
+ %att-alttext;" >
+
+<!-- ............................................................. -->
+<!-- The top-level element "math" contains MathML encoded
+ mathematics. The "math" element has the browser info
+ attributes iff it is also the browser interface element.
+-->
+
+<!ELEMENT %math.qname; (%MathExpression;) >
+
+<!ATTLIST %math.qname;
+ %att-topinfo;
+ %att-browif; >
+
+<!-- MathML Character Entities .............................................. -->
+<!ENTITY % mathml-charent.module "INCLUDE" >
+<![%mathml-charent.module;[
+<!-- Entity sets from ISO Technical Report 9573-13 ..... -->
+
+<!ENTITY % ent-isoamsa
+ PUBLIC "-//W3C//ENTITIES Added Math Symbols: Arrow Relations for MathML 2.0//EN"
+ "isoamsa.ent" >
+%ent-isoamsa;
+
+<!ENTITY % ent-isoamsb
+ PUBLIC "-//W3C//ENTITIES Added Math Symbols: Binary Operators for MathML 2.0//EN"
+ "isoamsb.ent" >
+%ent-isoamsb;
+
+<!ENTITY % ent-isoamsc
+ PUBLIC "-//W3C//ENTITIES Added Math Symbols: Delimiters for MathML 2.0//EN"
+ "isoamsc.ent" >
+%ent-isoamsc;
+
+<!ENTITY % ent-isoamsn
+ PUBLIC "-//W3C//ENTITIES Added Math Symbols: Negated Relations for MathML 2.0//EN"
+ "isoamsn.ent" >
+%ent-isoamsn;
+
+<!ENTITY % ent-isoamso
+ PUBLIC "-//W3C//ENTITIES Added Math Symbols: Ordinary for MathML 2.0//EN"
+ "isoamso.ent" >
+%ent-isoamso;
+
+<!ENTITY % ent-isoamsr
+ PUBLIC "-//W3C//ENTITIES Added Math Symbols: Relations for MathML 2.0//EN"
+ "isoamsr.ent" >
+%ent-isoamsr;
+
+<!ENTITY % ent-isogrk3
+ PUBLIC "-//W3C//ENTITIES Greek Symbols for MathML 2.0//EN"
+ "isogrk3.ent" >
+%ent-isogrk3;
+
+<!ENTITY % ent-isomfrk
+ PUBLIC "-//W3C//ENTITIES Math Alphabets: Fraktur for MathML 2.0//EN"
+ "isomfrk.ent" >
+%ent-isomfrk;
+
+<!ENTITY % ent-isomopf
+ PUBLIC "-//W3C//ENTITIES Math Alphabets: Open Face for MathML 2.0//EN"
+ "isomopf.ent" >
+%ent-isomopf;
+
+<!ENTITY % ent-isomscr
+ PUBLIC "-//W3C//ENTITIES Math Alphabets: Script for MathML 2.0//EN"
+ "isomscr.ent" >
+%ent-isomscr;
+
+<!ENTITY % ent-isotech
+ PUBLIC "-//W3C//ENTITIES General Technical for MathML 2.0//EN"
+ "isotech.ent" >
+%ent-isotech;
+
+<!-- Entity sets from informative annex to ISO 8879:1986 (SGML) ....... -->
+
+<!ENTITY % ent-isobox
+ PUBLIC "-//W3C//ENTITIES Box and Line Drawing for MathML 2.0//EN"
+ "isobox.ent" >
+%ent-isobox;
+
+<!ENTITY % ent-isocyr1
+ PUBLIC "-//W3C//ENTITIES Russian Cyrillic for MathML 2.0//EN"
+ "isocyr1.ent" >
+%ent-isocyr1;
+
+<!ENTITY % ent-isocyr2
+ PUBLIC "-//W3C//ENTITIES Non-Russian Cyrillic for MathML 2.0//EN"
+ "isocyr2.ent" >
+%ent-isocyr2;
+
+<!ENTITY % ent-isodia
+ PUBLIC "-//W3C//ENTITIES Diacritical Marks for MathML 2.0//EN"
+ "isodia.ent" >
+%ent-isodia;
+
+<!ENTITY % ent-isolat1
+ PUBLIC "-//W3C//ENTITIES Added Latin 1 for MathML 2.0//EN"
+ "isolat1.ent" >
+%ent-isolat1;
+
+<!ENTITY % ent-isolat2
+ PUBLIC "-//W3C//ENTITIES Added Latin 2 for MathML 2.0//EN"
+ "isolat2.ent" >
+%ent-isolat2;
+
+<!ENTITY % ent-isonum
+ PUBLIC "-//W3C//ENTITIES Numeric and Special Graphic for MathML 2.0//EN"
+ "isonum.ent" >
+%ent-isonum;
+
+<!ENTITY % ent-isopub
+ PUBLIC "-//W3C//ENTITIES Publishing for MathML 2.0//EN"
+ "isopub.ent" >
+%ent-isopub;
+
+<!-- New characters defined by MathML ............................ -->
+
+<!ENTITY % ent-mmlextra
+ PUBLIC "-//W3C//ENTITIES Extra for MathML 2.0//EN"
+ "mmlextra.ent" >
+%ent-mmlextra;
+
+<!-- MathML aliases for characters defined above ................. -->
+
+<!ENTITY % ent-mmlalias
+ PUBLIC "-//W3C//ENTITIES Aiases for MathML 2.0//EN"
+ "mmlalias.ent" >
+%ent-mmlalias;
+
+<!-- end of MathML Character Entity section -->]]>
+
+<!-- Revision History:
+
+ Initial draft (syntax = XML) 1997-05-09
+ Stephen Buswell
+ Revised 1997-05-14
+ Robert Miner
+ Revised 1997-06-29 and 1997-07-02
+ Stephen Buswell
+ Revised 1997-12-15
+ Stephen Buswell
+ Revised 1998-02-08
+ Stephen Buswell
+ Revised 1998-04-04
+ Stephen Buswell
+ Entities and small revisions 1999-02-21
+ David Carlisle
+ Added attribute definitionURL to ci and cn 1999-10-11
+ Nico Poppelier
+ Additions for MathML 2 1999-12-16
+ David Carlisle
+ Namespace support 2000-01-14
+ David Carlisle
+ XHTML Compatibility 2000-02-23
+ Murray Altheim
+ New content elements 2000-03-26
+ David Carlisle
+
+-->
+
+<!-- end of MathML 2.0 DTD ................................................ -->
+<!-- ....................................................................... -->
+
diff --git a/helm/dtd/maththeory.dtd b/helm/dtd/maththeory.dtd
new file mode 100644
index 000000000..85469b6ce
--- /dev/null
+++ b/helm/dtd/maththeory.dtd
@@ -0,0 +1,73 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR THEORY OBJECTS AT LEVEL OF CIC XML FILES: -->
+<!-- First draft: May 10 2000, Claudio Sacerdoti Coen, Irene Schena -->
+<!--*****************************************************************-->
+
+<!-- manca il semplice enunciato -->
+<!-- mancano i link ad altre teorie? (corrispondenti a Require?) -->
+<!-- una teoria "vuota" e' una teoria? -->
+<!ENTITY % mathstructure '(THEOREM|LEMMA|COROLLARY|AXIOM|FACT|DEFINITION|
+ VARIABLE|SECTION)*'>
+
+<!ELEMENT Theory (%mathstructure;)>
+<!ATTLIST Theory
+ uri CDATA #REQUIRED>
+
+<!ELEMENT THEOREM EMPTY>
+<!ATTLIST THEOREM
+ id IDREF #REQUIRED
+ uri CDATA #REQUIRED>
+
+<!ELEMENT LEMMA EMPTY>
+<!ATTLIST LEMMA
+ id IDREF #REQUIRED
+ uri CDATA #REQUIRED
+ target IDREF #REQUIRED>
+
+<!ELEMENT COROLLARY EMPTY>
+<!ATTLIST COROLLARY
+ id IDREF #REQUIRED
+ uri CDATA #REQUIRED
+ target IDREF #REQUIRED>
+
+<!ELEMENT AXIOM EMPTY>
+<!ATTLIST AXIOM
+ id IDREF #REQUIRED
+ uri CDATA #REQUIRED>
+
+<!ELEMENT FACT EMPTY>
+<!ATTLIST FACT
+ id IDREF #REQUIRED
+ uri CDATA #REQUIRED>
+
+<!ELEMENT DEFINITION EMPTY>
+<!ATTLIST DEFINITION
+ uri CDATA #REQUIRED>
+
+<!ELEMENT VARIABLE EMPTY>
+<!ATTLIST VARIABLE
+ uri CDATA #REQUIRED>
+
+<!ELEMENT SECTION (%mathstructure;)>
+<!ATTLIST SECTION
+ uri CDATA #REQUIRED>
+
+<!--
+ VINCOLI DI VALIDITA' NON ESPRIMIBILI NEL DTD:
+ Siano V una variabile e T,T' due fatti/definizioni/teoremi/lemmi/corollari
+
+ - per visualizzare T dipendente da T' dove T' e T sono definiti nella stessa
+ (da definirsi) teoria/sezione, debbo visualizzare anche T'?
+ - per visualizzare T dipendente da T' dove anche T' e' visualizzato, debbo
+ visualizzare T necessariamente dopo T'?
+ + consistenza fra la dipendenza dei lemmi e dei corollari dal loro target
+ e quella effettiva data dal livello degli oggetti
+ + tutte le URI debbono essere relative e discendenti (= non contenti "..")
+ +? ogni lemma deve precedere (strettamente?) il suo target
+ +? ogni corollario deve seguire (strettamente?) il suo target
+ + se T/V dipende da V, allora V deve essere visualizzata
+ + se T/V dipende da V, allora V deve essere visualizzata prima di T
+ PROBLEMA: NON ABBIAMO INFORMAZIONI SULLA DIPENDENZA DI V DA V!!!
+-->
diff --git a/helm/dtd/mmlalias.ent b/helm/dtd/mmlalias.ent
new file mode 100644
index 000000000..f5901b384
--- /dev/null
+++ b/helm/dtd/mmlalias.ent
@@ -0,0 +1,529 @@
+
+<!--
+ File mmlalias.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 angle "∠" ><!--alias ISOAMSO ang -->
+<!ENTITY approx "≈" ><!--alias ISOTECH ap -->
+<!ENTITY approxeq "≊" ><!--alias ISOAMSR ape -->
+<!ENTITY backcong "≌" ><!--alias ISOAMSR bcong -->
+<!ENTITY backepsilon "ℼ" ><!--alias ISOAMSR bepsi -->
+<!ENTITY backprime "‵" ><!--alias ISOAMSO bprime -->
+<!ENTITY backsim "∽" ><!--alias ISOAMSR bsim -->
+<!ENTITY backsimeq "⋍" ><!--alias ISOAMSR bsime -->
+<!ENTITY Backslash "∖" ><!--alias ISOAMSB setmn -->
+<!ENTITY barwedge "⊼" ><!--alias ISOAMSB barwed -->
+<!ENTITY because "∵" ><!--alias ISOTECH becaus -->
+<!ENTITY Because "∵" ><!--alias ISOTECH becaus -->
+<!ENTITY Bernoullis "ℬ" ><!--alias ISOTECH bernou -->
+<!ENTITY between "≬" ><!--alias ISOAMSR twixt -->
+<!ENTITY bigcap "⋂" ><!--alias ISOAMSB xcap -->
+<!ENTITY bigcirc "◯" ><!--alias ISOAMSB xcirc -->
+<!ENTITY bigcup "⋃" ><!--alias ISOAMSB xcup -->
+<!ENTITY bigodot "⊙" ><!--alias ISOAMSB xodot -->
+<!ENTITY bigoplus "⊕" ><!--alias ISOAMSB xoplus -->
+<!ENTITY bigotimes "⊗" ><!--alias ISOAMSB xotime -->
+<!ENTITY bigsqcup "⊔" ><!--alias ISOAMSB xsqcup -->
+<!ENTITY bigstar "★" ><!--ISOPUB starf -->
+<!ENTITY bigtriangledown "▽" ><!--alias ISOAMSB xdtri -->
+<!ENTITY bigtriangleup "△" ><!--alias ISOAMSB xutri -->
+<!ENTITY biguplus "⊎" ><!--alias ISOAMSB xuplus -->
+<!ENTITY bigvee "⋁" ><!--alias ISOAMSB xvee -->
+<!ENTITY bigwedge "⋀" ><!--alias ISOAMSB xwedge -->
+<!ENTITY bkarow "⤍" ><!--alias ISOAMSA rbarr -->
+<!ENTITY blacklozenge "⧫" ><!--alias ISOPUB lozf -->
+<!ENTITY blacksquare "▪" ><!--ISOTECH squarf -->
+<!ENTITY blacktriangle "▴" ><!--alias ISOPUB utrif -->
+<!ENTITY blacktriangledown "▾" ><!--alias ISOPUB dtrif -->
+<!ENTITY blacktriangleleft "◂" ><!--alias ISOPUB ltrif -->
+<!ENTITY blacktriangleright "▸" ><!--alias ISOPUB rtrif -->
+<!ENTITY bot "⊥" ><!--alias ISOTECH bottom -->
+<!ENTITY boxminus "⊟" ><!--alias ISOAMSB minusb -->
+<!ENTITY boxplus "⊞" ><!--alias ISOAMSB plusb -->
+<!ENTITY boxtimes "⊠" ><!--alias ISOAMSB timesb -->
+<!ENTITY Breve "˘" ><!--alias ISODIA breve -->
+<!ENTITY bullet "•" ><!--alias ISOPUB bull -->
+<!ENTITY bumpeq "≏" ><!--alias ISOAMSR bumpe -->
+<!ENTITY Bumpeq "≎" ><!--alias ISOAMSR bump -->
+<!ENTITY Cedilla "¸" ><!--alias ISODIA cedil -->
+<!ENTITY centerdot "·" ><!--alias ISONUM middot -->
+<!ENTITY CenterDot "·" ><!--alias ISONUM middot -->
+<!ENTITY checkmark "✓" ><!--alias ISOPUB check -->
+<!ENTITY circeq "≗" ><!--alias ISOAMSR cire -->
+<!ENTITY circlearrowleft "↺" ><!--alias ISOAMSA olarr -->
+<!ENTITY circlearrowright "↻" ><!--alias ISOAMSA orarr -->
+<!ENTITY circledast "⊛" ><!--alias ISOAMSB oast -->
+<!ENTITY circledcirc "⊚" ><!--alias ISOAMSB ocir -->
+<!ENTITY circleddash "⊝" ><!--alias ISOAMSB odash -->
+<!ENTITY CircleDot "⊙" ><!--alias ISOAMSB odot -->
+<!ENTITY circledR "®" ><!--alias ISONUM reg -->
+<!ENTITY circledS "Ⓢ" ><!--alias ISOAMSO oS -->
+<!ENTITY CircleMinus "⊖" ><!--alias ISOAMSB ominus -->
+<!ENTITY CirclePlus "⊕" ><!--alias ISOAMSB oplus -->
+<!ENTITY CircleTimes "⊗" ><!--alias ISOAMSB otimes -->
+<!ENTITY ClockwiseContourIntegral "∲" ><!--alias ISOTECH cwconint -->
+<!ENTITY CloseCurlyDoubleQuote "”" ><!--alias ISONUM rdquo -->
+<!ENTITY CloseCurlyQuote "’" ><!--alias ISONUM rsquo -->
+<!ENTITY clubsuit "♣" ><!--ISOPUB clubs -->
+<!ENTITY coloneq "≔" ><!--alias ISOAMSR colone -->
+<!ENTITY complement "∁" ><!--alias ISOAMSO comp -->
+<!ENTITY Congruent "≡" ><!--alias ISOTECH equiv -->
+<!ENTITY ContourIntegral "∮" ><!--alias ISOTECH conint -->
+<!ENTITY Coproduct "∐" ><!--alias ISOAMSB coprod -->
+<!ENTITY CounterClockwiseContourIntegral "∳" ><!--alias ISOTECH awconint -->
+<!ENTITY CupCap "≍" ><!--alias ISOAMSR asymp -->
+<!ENTITY curlyeqprec "⋞" ><!--alias ISOAMSR cuepr -->
+<!ENTITY curlyeqsucc "⋟" ><!--alias ISOAMSR cuesc -->
+<!ENTITY curlyvee "⋎" ><!--alias ISOAMSB cuvee -->
+<!ENTITY curlywedge "⋏" ><!--alias ISOAMSB cuwed -->
+<!ENTITY curvearrowleft "↶" ><!--alias ISOAMSA cularr -->
+<!ENTITY curvearrowright "↷" ><!--alias ISOAMSA curarr -->
+<!ENTITY dbkarow "⤏" ><!--alias ISOAMSA rBarr -->
+<!ENTITY ddagger "‡" ><!--alias ISOPUB Dagger -->
+<!ENTITY ddotseq "⩷" ><!--alias ISOAMSR eDDot -->
+<!ENTITY Del "∇" ><!--alias ISOTECH nabla -->
+<!ENTITY DiacriticalAcute "´" ><!--alias ISODIA acute -->
+<!ENTITY DiacriticalDot "˙" ><!--alias ISODIA dot -->
+<!ENTITY DiacriticalDoubleAcute "˝" ><!--alias ISODIA dblac -->
+<!ENTITY DiacriticalGrave "`" ><!--alias ISODIA grave -->
+<!ENTITY DiacriticalTilde "˜" ><!--alias ISODIA tilde -->
+<!ENTITY diamond "⋄" ><!--alias ISOAMSB diam -->
+<!ENTITY Diamond "⋄" ><!--alias ISOAMSB diam -->
+<!ENTITY diamondsuit "♦" ><!--ISOPUB diams -->
+<!ENTITY digamma "Ϝ" ><!--alias ISOGRK3 gammad -->
+<!ENTITY div "÷" ><!--alias ISONUM divide -->
+<!ENTITY divideontimes "⋇" ><!--alias ISOAMSB divonx -->
+<!ENTITY doteq "≐" ><!--alias ISOAMSR esdot -->
+<!ENTITY doteqdot "≑" ><!--alias ISOAMSR eDot -->
+<!ENTITY DotEqual "≐" ><!--alias ISOAMSR esdot -->
+<!ENTITY dotminus "∸" ><!--alias ISOAMSB minusd -->
+<!ENTITY dotplus "∔" ><!--alias ISOAMSB plusdo -->
+<!ENTITY dotsquare "⊡" ><!--alias ISOAMSB sdotb -->
+<!ENTITY doublebarwedge "⌆" ><!--alias ISOAMSB Barwed -->
+<!ENTITY DoubleContourIntegral "∯" ><!--alias ISOTECH Conint -->
+<!ENTITY DoubleDot "¨" ><!--alias ISODIA die -->
+<!ENTITY DoubleDownArrow "⇓" ><!--alias ISOAMSA dArr -->
+<!ENTITY DoubleLeftArrow "⇐" ><!--alias ISOTECH lArr -->
+<!ENTITY DoubleLeftRightArrow "⇔" ><!--alias ISOAMSA hArr -->
+<!ENTITY DoubleLeftTee "⫤" ><!--alias for ⫤ -->
+<!ENTITY DoubleLongLeftArrow "⇐" ><!--alias ISOAMSA xlArr -->
+<!ENTITY DoubleLongLeftRightArrow "⇔" ><!--alias ISOAMSA xhArr -->
+<!ENTITY DoubleLongRightArrow "⇒" ><!--alias ISOAMSA xrArr -->
+<!ENTITY DoubleRightArrow "⇒" ><!--alias ISOTECH rArr -->
+<!ENTITY DoubleRightTee "⊨" ><!--alias ISOAMSR vDash -->
+<!ENTITY DoubleUpArrow "⇑" ><!--alias ISOAMSA uArr -->
+<!ENTITY DoubleUpDownArrow "⇕" ><!--alias ISOAMSA vArr -->
+<!ENTITY DoubleVerticalBar "∥" ><!--alias ISOTECH par -->
+<!ENTITY downarrow "↓" ><!--alias ISONUM darr -->
+<!ENTITY Downarrow "⇓" ><!--alias ISOAMSA dArr -->
+<!ENTITY DownArrow "↓" ><!--alias ISONUM darr -->
+<!ENTITY DownArrowUpArrow "⇵" ><!--alias ISOAMSA duarr -->
+<!ENTITY downdownarrows "⇊" ><!--alias ISOAMSA ddarr -->
+<!ENTITY downharpoonleft "⇃" ><!--alias ISOAMSA dharl -->
+<!ENTITY downharpoonright "⇂" ><!--alias ISOAMSA dharr -->
+<!ENTITY DownLeftVector "↽" ><!--alias ISOAMSA lhard -->
+<!ENTITY DownRightVector "⇁" ><!--alias ISOAMSA rhard -->
+<!ENTITY DownTee "⊤" ><!--alias ISOTECH top -->
+<!ENTITY drbkarow "⤐" ><!--alias ISOAMSA RBarr -->
+<!ENTITY Element "∈" ><!--alias ISOTECH isinv -->
+<!ENTITY emptyset "∅⁣" ><!--alias ISOAMSO empty -->
+<!ENTITY eqcirc "≖" ><!--alias ISOAMSR ecir -->
+<!ENTITY eqcolon "≕" ><!--alias ISOAMSR ecolon -->
+<!ENTITY eqsim "≂" ><!--alias ISOAMSR esim -->
+<!ENTITY eqslantgtr "⋝" ><!--alias ISOAMSR egs -->
+<!ENTITY eqslantless "⋜" ><!--alias ISOAMSR els -->
+<!ENTITY EqualTilde "≂" ><!--alias ISOAMSR esim -->
+<!ENTITY Equilibrium "⇌" ><!--alias ISOAMSA rlhar -->
+<!ENTITY Exists "∃" ><!--alias ISOTECH exist -->
+<!ENTITY fallingdotseq "≒" ><!--alias ISOAMSR efDot -->
+<!ENTITY ForAll "∀" ><!--alias ISOTECH forall -->
+<!ENTITY geq "≥" ><!--alias ISOTECH ge -->
+<!ENTITY geqq "≧" ><!--alias ISOAMSR gE -->
+<!ENTITY geqslant "⩾" ><!--alias ISOAMSR ges -->
+<!ENTITY gg "≫" ><!--alias ISOAMSR Gt -->
+<!ENTITY ggg "⋙" ><!--alias ISOAMSR Gg -->
+<!ENTITY gnapprox "⪊" ><!--alias ISOAMSN gnap -->
+<!ENTITY gneq "≩" ><!--alias ISOAMSN gne -->
+<!ENTITY gneqq "≩" ><!--alias ISOAMSN gnE -->
+<!ENTITY GreaterEqual "≥" ><!--alias ISOTECH ge -->
+<!ENTITY GreaterEqualLess "⋛" ><!--alias ISOAMSR gel -->
+<!ENTITY GreaterFullEqual "≧" ><!--alias ISOAMSR gE -->
+<!ENTITY GreaterLess "≷" ><!--alias ISOAMSR gl -->
+<!ENTITY GreaterSlantEqual "⩾" ><!--alias ISOAMSR ges -->
+<!ENTITY GreaterTilde "≳" ><!--alias ISOAMSR gsim -->
+<!ENTITY gtrapprox "≳" ><!--alias ISOAMSR gap -->
+<!ENTITY gtrdot "⋗" ><!--alias ISOAMSR gtdot -->
+<!ENTITY gtreqless "⋛" ><!--alias ISOAMSR gel -->
+<!ENTITY gtreqqless "⋛" ><!--alias ISOAMSR gEl -->
+<!ENTITY gtrless "≷" ><!--alias ISOAMSR gl -->
+<!ENTITY gtrsim "≳" ><!--alias ISOAMSR gsim -->
+<!ENTITY gvertneqq "≩̸" ><!--alias ISOAMSN gvnE -->
+<!ENTITY Hacek "ˇ" ><!--alias ISODIA caron -->
+<!ENTITY Hat "̂" ><!--circumflex accent (circ in ISODIA) -->
+<!ENTITY hbar "ℏ" ><!--alias ISOAMSO plank -->
+<!ENTITY heartsuit "♡" ><!--ISOPUB hearts -->
+<!ENTITY hksearow "⤥" ><!--alias ISOAMSA searhk -->
+<!ENTITY hkswarow "⤦" ><!--alias ISOAMSA swarhk -->
+<!ENTITY hookleftarrow "↩" ><!--alias ISOAMSA larrhk -->
+<!ENTITY hookrightarrow "↪" ><!--alias ISOAMSA rarrhk -->
+<!ENTITY hslash "ℏ" ><!--alias ISOAMSO plankv -->
+<!ENTITY HumpDownHump "≎" ><!--alias ISOAMSR bump -->
+<!ENTITY HumpEqual "≏" ><!--alias ISOAMSR bumpe -->
+<!ENTITY iiiint "⨌" ><!--alias ISOTECH qint -->
+<!ENTITY iiint "∭" ><!--alias ISOTECH tint -->
+<!ENTITY Im "ℑ" ><!--alias ISOAMSO image -->
+<!ENTITY imagpart "ℑ" ><!--alias ISOAMSO image -->
+<!ENTITY Implies "⇒" ><!--alias ISOTECH rArr -->
+<!ENTITY in "∈" ><!--ISOTECH isin -->
+<!ENTITY Integral "∫" ><!--alias ISOTECH int -->
+<!ENTITY intercal "⊺" ><!--alias ISOAMSB intcal -->
+<!ENTITY Intersection "⋂" ><!--alias ISOAMSB xcap -->
+<!ENTITY intprod "⨼" ><!--alias ISOAMSB iprod -->
+<!ENTITY langle "〈" ><!--alias ISOTECH lang -->
+<!ENTITY lbrace "{" ><!--alias ISONUM lcub -->
+<!ENTITY lbrack "[" ><!--alias ISONUM lsqb -->
+<!ENTITY LeftAngleBracket "〈" ><!--alias ISOTECH lang -->
+<!ENTITY leftarrow "←" ><!--alias ISONUM larr -->
+<!ENTITY Leftarrow "⇐" ><!--alias ISOTECH lArr -->
+<!ENTITY LeftArrow "←" ><!--alias ISONUM larr -->
+<!ENTITY LeftArrowRightArrow "⇆" ><!--alias ISOAMSA lrarr -->
+<!ENTITY leftarrowtail "↢" ><!--alias ISOAMSA larrtl -->
+<!ENTITY LeftCeiling "⌈" ><!--alias ISOAMSC lceil -->
+<!ENTITY LeftDoubleBracket "〚" ><!--left double bracket delimiter -->
+<!ENTITY LeftDownVector "⇃" ><!--alias ISOAMSA dharl -->
+<!ENTITY LeftFloor "⌊" ><!--alias ISOAMSC lfloor -->
+<!ENTITY leftharpoondown "↽" ><!--alias ISOAMSA lhard -->
+<!ENTITY leftharpoonup "↼" ><!--alias ISOAMSA lharu -->
+<!ENTITY leftleftarrows "⇇" ><!--alias ISOAMSA llarr -->
+<!ENTITY leftrightarrow "↔" ><!--alias ISOAMSA harr -->
+<!ENTITY Leftrightarrow "⇔" ><!--alias ISOAMSA hArr -->
+<!ENTITY LeftRightArrow "↔" ><!--alias ISOAMSA harr -->
+<!ENTITY leftrightarrows "⇆" ><!--alias ISOAMSA lrarr -->
+<!ENTITY leftrightharpoons "⇋" ><!--alias ISOAMSA lrhar -->
+<!ENTITY leftrightsquigarrow "↭" ><!--alias ISOAMSA harrw -->
+<!ENTITY LeftTee "⊣" ><!--alias ISOAMSR dashv -->
+<!ENTITY leftthreetimes "⋋" ><!--alias ISOAMSB lthree -->
+<!ENTITY LeftTriangle "⊲" ><!--alias ISOAMSR vltri -->
+<!ENTITY LeftTriangleEqual "⊴" ><!--alias ISOAMSR ltrie -->
+<!ENTITY LeftUpVector "↿" ><!--alias ISOAMSA uharl -->
+<!ENTITY LeftVector "↼" ><!--alias ISOAMSA lharu -->
+<!ENTITY leq "≤" ><!--alias ISOTECH le -->
+<!ENTITY leqq "≦" ><!--alias ISOAMSR lE -->
+<!ENTITY leqslant "⩽" ><!--alias ISOAMSR les -->
+<!ENTITY lessapprox "≲" ><!--alias ISOAMSR lap -->
+<!ENTITY lessdot "⋖" ><!--alias ISOAMSR ltdot -->
+<!ENTITY lesseqgtr "⋚" ><!--alias ISOAMSR leg -->
+<!ENTITY lesseqqgtr "⋚" ><!--alias ISOAMSR lEg -->
+<!ENTITY LessEqualGreater "⋚" ><!--alias ISOAMSR leg -->
+<!ENTITY LessFullEqual "≦" ><!--alias ISOAMSR lE -->
+<!ENTITY LessGreater "≶" ><!--alias ISOAMSR lg -->
+<!ENTITY lessgtr "≶" ><!--alias ISOAMSR lg -->
+<!ENTITY lesssim "≲" ><!--alias ISOAMSR lsim -->
+<!ENTITY LessSlantEqual "⩽" ><!--alias ISOAMSR les -->
+<!ENTITY LessTilde "≲" ><!--alias ISOAMSR lsim -->
+<!ENTITY ll "≪" ><!--alias ISOAMSR Lt -->
+<!ENTITY llcorner "⌞" ><!--alias ISOAMSC dlcorn -->
+<!ENTITY Lleftarrow "⇚" ><!--alias ISOAMSA lAarr -->
+<!ENTITY lmoustache "⦘" ><!--alias ISOAMSC lmoust -->
+<!ENTITY lnapprox "⪉" ><!--alias ISOAMSN lnap -->
+<!ENTITY lneq "≨" ><!--alias ISOAMSN lne -->
+<!ENTITY lneqq "≨" ><!--alias ISOAMSN lnE -->
+<!ENTITY longleftarrow "←" ><!--alias ISOAMSA xlarr -->
+<!ENTITY Longleftarrow "⇐" ><!--alias ISOAMSA xlArr -->
+<!ENTITY LongLeftArrow "←" ><!--alias ISOAMSA xlarr -->
+<!ENTITY longleftrightarrow "↔" ><!--alias ISOAMSA xharr -->
+<!ENTITY Longleftrightarrow "⇔" ><!--alias ISOAMSA xhArr -->
+<!ENTITY LongLeftRightArrow "↔" ><!--alias ISOAMSA xharr -->
+<!ENTITY longmapsto "↦" ><!--alias ISOAMSA xmap -->
+<!ENTITY longrightarrow "→" ><!--alias ISOAMSA xrarr -->
+<!ENTITY Longrightarrow "⇒" ><!--alias ISOAMSA xrArr -->
+<!ENTITY LongRightArrow "→" ><!--alias ISOAMSA xrarr -->
+<!ENTITY looparrowleft "↫" ><!--alias ISOAMSA larrlp -->
+<!ENTITY looparrowright "↬" ><!--alias ISOAMSA rarrlp -->
+<!ENTITY LowerLeftArrow "↙" ><!--alias ISOAMSA swarr -->
+<!ENTITY LowerRightArrow "↘" ><!--alias ISOAMSA searr -->
+<!ENTITY lozenge "◊" ><!--alias ISOPUB loz -->
+<!ENTITY lrcorner "⌟" ><!--alias ISOAMSC drcorn -->
+<!ENTITY Lsh "↰" ><!--alias ISOAMSA lsh -->
+<!ENTITY lvertneqq "≨̸" ><!--alias ISOAMSN lvnE -->
+<!ENTITY maltese "✠" ><!--alias ISOPUB malt -->
+<!ENTITY mapsto "↦" ><!--alias ISOAMSA map -->
+<!ENTITY measuredangle "∡" ><!--alias ISOAMSO angmsd -->
+<!ENTITY MinusPlus "∓" ><!--alias ISOTECH mnplus -->
+<!ENTITY mp "∓" ><!--alias ISOTECH mnplus -->
+<!ENTITY multimap "⊸" ><!--alias ISOAMSA mumap -->
+<!ENTITY napprox "≉" ><!--alias ISOAMSN nap -->
+<!ENTITY natural "♮" ><!--alias ISOPUB natur -->
+<!ENTITY nearrow "↗" ><!--alias ISOAMSA nearr -->
+<!ENTITY NestedGreaterGreater "≫" ><!--alias ISOAMSR Gt -->
+<!ENTITY NestedLessLess "≪" ><!--alias ISOAMSR Lt -->
+<!ENTITY nexists "∄" ><!--alias ISOAMSO nexist -->
+<!ENTITY ngeq "≱⃥" ><!--alias ISOAMSN nge -->
+<!ENTITY ngeqq "≱" ><!--alias ISOAMSN ngE -->
+<!ENTITY ngeqslant "≱" ><!--alias ISOAMSN nges -->
+<!ENTITY ngtr "≯" ><!--alias ISOAMSN ngt -->
+<!ENTITY nleftarrow "↚" ><!--alias ISOAMSA nlarr -->
+<!ENTITY nLeftarrow "⇍" ><!--alias ISOAMSA nlArr -->
+<!ENTITY nleftrightarrow "↮" ><!--alias ISOAMSA nharr -->
+<!ENTITY nLeftrightarrow "⇎" ><!--alias ISOAMSA nhArr -->
+<!ENTITY nleq "≰⃥" ><!--alias ISOAMSN nle -->
+<!ENTITY nleqq "≰" ><!--alias ISOAMSN nlE -->
+<!ENTITY nleqslant "≰" ><!--alias ISOAMSN nles -->
+<!ENTITY nless "≮" ><!--alias ISOAMSN nlt -->
+<!ENTITY NotCongruent "≢" ><!--alias ISOAMSN nequiv -->
+<!ENTITY NotDoubleVerticalBar "∦" ><!--alias ISOAMSN npar -->
+<!ENTITY NotElement "∉" ><!--alias ISOTECH notin -->
+<!ENTITY NotEqual "≠" ><!--alias ISOTECH ne -->
+<!ENTITY NotExists "∄" ><!--alias ISOAMSO nexist -->
+<!ENTITY NotGreater "≯" ><!--alias ISOAMSN ngt -->
+<!ENTITY NotGreaterEqual "≱⃥" ><!--alias ISOAMSN nge -->
+<!ENTITY NotGreaterFullEqual "≰" ><!--alias ISOAMSN nlE -->
+<!ENTITY NotGreaterGreater "≫̸⁣" ><!--alias ISOAMSN nGtv -->
+<!ENTITY NotGreaterLess "≹" ><!--alias ISOAMSN ntvgl -->
+<!ENTITY NotGreaterSlantEqual "≱" ><!--alias ISOAMSN nges -->
+<!ENTITY NotGreaterTilde "≵" ><!--alias ISOAMSN ngsim -->
+<!ENTITY NotLeftTriangle "⋪" ><!--alias ISOAMSN nltri -->
+<!ENTITY NotLeftTriangleEqual "⋬" ><!--alias ISOAMSN nltrie -->
+<!ENTITY NotLess "≮" ><!--alias ISOAMSN nlt -->
+<!ENTITY NotLessEqual "≰⃥" ><!--alias ISOAMSN nle -->
+<!ENTITY NotLessGreater "≸" ><!--alias ISOAMSN ntvlg -->
+<!ENTITY NotLessLess "≪̸⁣" ><!--alias ISOAMSN nLtv -->
+<!ENTITY NotLessSlantEqual "≰" ><!--alias ISOAMSN nles -->
+<!ENTITY NotLessTilde "≴" ><!--alias ISOAMSN nlsim -->
+<!ENTITY NotPrecedes "⊀" ><!--alias ISOAMSN npr -->
+<!ENTITY NotPrecedesEqual "⪯̸" ><!--alias ISOAMSN npre -->
+<!ENTITY NotPrecedesSlantEqual "⋠" ><!--alias ISOAMSN nprcue -->
+<!ENTITY NotReverseElement "∌" ><!--alias ISOTECH notniva -->
+<!ENTITY NotRightTriangle "⋫" ><!--alias ISOAMSN nrtri -->
+<!ENTITY NotRightTriangleEqual "⋭" ><!--alias ISOAMSN nrtrie -->
+<!ENTITY NotSquareSubsetEqual "⋢" ><!--alias ISOAMSN nsqsube -->
+<!ENTITY NotSquareSupersetEqual "⋣" ><!--alias ISOAMSN nsqsupe -->
+<!ENTITY NotSubset "⊄" ><!--alias ISOAMSN vnsub -->
+<!ENTITY NotSubsetEqual "⊈" ><!--alias ISOAMSN nsube -->
+<!ENTITY NotSucceeds "⊁" ><!--alias ISOAMSN nsc -->
+<!ENTITY NotSucceedsEqual "⪰̸" ><!--alias ISOAMSN nsce -->
+<!ENTITY NotSucceedsSlantEqual "⋡" ><!--alias ISOAMSN nsccue -->
+<!ENTITY NotSuperset "⊅" ><!--alias ISOAMSN vnsup -->
+<!ENTITY NotSupersetEqual "⊉" ><!--alias ISOAMSN nsupe -->
+<!ENTITY NotTilde "≁" ><!--alias ISOAMSN nsim -->
+<!ENTITY NotTildeEqual "≄" ><!--alias ISOAMSN nsime -->
+<!ENTITY NotTildeFullEqual "≇" ><!--alias ISOAMSN ncong -->
+<!ENTITY NotTildeTilde "≉" ><!--alias ISOAMSN nap -->
+<!ENTITY NotVerticalBar "∤" ><!--alias ISOAMSN nmid -->
+<!ENTITY nparallel "∦" ><!--alias ISOAMSN npar -->
+<!ENTITY nprec "⊀" ><!--alias ISOAMSN npr -->
+<!ENTITY npreceq "⪯̸" ><!--alias ISOAMSN npre -->
+<!ENTITY nrightarrow "↛" ><!--alias ISOAMSA nrarr -->
+<!ENTITY nRightarrow "⇏" ><!--alias ISOAMSA nrArr -->
+<!ENTITY nshortmid "∤⁣" ><!--alias ISOAMSN nsmid -->
+<!ENTITY nshortparallel "∦⁣" ><!--alias ISOAMSN nspar -->
+<!ENTITY nsimeq "≄" ><!--alias ISOAMSN nsime -->
+<!ENTITY nsubset "⊄" ><!--alias ISOAMSN vnsub -->
+<!ENTITY nsubseteq "⊈" ><!--alias ISOAMSN nsube -->
+<!ENTITY nsubseteqq "⊈" ><!--alias ISOAMSN nsubE -->
+<!ENTITY nsucc "⊁" ><!--alias ISOAMSN nsc -->
+<!ENTITY nsucceq "⪰̸" ><!--alias ISOAMSN nsce -->
+<!ENTITY nsupset "⊅" ><!--alias ISOAMSN vnsup -->
+<!ENTITY nsupseteq "⊉" ><!--alias ISOAMSN nsupe -->
+<!ENTITY nsupseteqq "⊉" ><!--alias ISOAMSN nsupE -->
+<!ENTITY ntriangleleft "⋪" ><!--alias ISOAMSN nltri -->
+<!ENTITY ntrianglelefteq "⋬" ><!--alias ISOAMSN nltrie -->
+<!ENTITY ntriangleright "⋫" ><!--alias ISOAMSN nrtri -->
+<!ENTITY ntrianglerighteq "⋭" ><!--alias ISOAMSN nrtrie -->
+<!ENTITY nwarrow "↖" ><!--alias ISOAMSA nwarr -->
+<!ENTITY oint "∮" ><!--alias ISOTECH conint -->
+<!ENTITY OpenCurlyDoubleQuote "“" ><!--alias ISONUM ldquo -->
+<!ENTITY OpenCurlyQuote "‘" ><!--alias ISONUM lsquo -->
+<!ENTITY orderof "ℴ" ><!--alias ISOTECH order -->
+<!ENTITY parallel "∥" ><!--alias ISOTECH par -->
+<!ENTITY PartialD "∂" ><!--alias ISOTECH part -->
+<!ENTITY pitchfork "⋔" ><!--alias ISOAMSR fork -->
+<!ENTITY PlusMinus "±" ><!--alias ISONUM plusmn -->
+<!ENTITY pm "±" ><!--alias ISONUM plusmn -->
+<!ENTITY prec "≺" ><!--alias ISOAMSR pr -->
+<!ENTITY precapprox "≾" ><!--alias ISOAMSR prap -->
+<!ENTITY preccurlyeq "≼" ><!--alias ISOAMSR prcue -->
+<!ENTITY Precedes "≺" ><!--alias ISOAMSR pr -->
+<!ENTITY PrecedesEqual "⪯" ><!--alias ISOAMSR pre -->
+<!ENTITY PrecedesSlantEqual "≼" ><!--alias ISOAMSR prcue -->
+<!ENTITY PrecedesTilde "≾" ><!--alias ISOAMSR prsim -->
+<!ENTITY preceq "⪯" ><!--alias ISOAMSR pre -->
+<!ENTITY precnapprox "⋨" ><!--alias ISOAMSN prnap -->
+<!ENTITY precneqq "⪵" ><!--alias ISOAMSN prnE -->
+<!ENTITY precnsim "⋨" ><!--alias ISOAMSN prnsim -->
+<!ENTITY precsim "≾" ><!--alias ISOAMSR prsim -->
+<!ENTITY Proportion "∷" ><!--alias ISOAMSR Colon -->
+<!ENTITY Proportional "∝" ><!--alias ISOTECH prop -->
+<!ENTITY propto "∝" ><!--alias ISOTECH prop -->
+<!ENTITY questeq "≟" ><!--alias ISOAMSR equest -->
+<!ENTITY rangle "〉" ><!--alias ISOTECH rang -->
+<!ENTITY rbrace "}" ><!--alias ISONUM rcub -->
+<!ENTITY rbrack "]" ><!--alias ISONUM rsqb -->
+<!ENTITY Re "ℜ" ><!--alias ISOAMSO real -->
+<!ENTITY realpart "ℜ" ><!--alias ISOAMSO real -->
+<!ENTITY ReverseElement "∋" ><!--alias ISOTECH niv -->
+<!ENTITY ReverseEquilibrium "⇋" ><!--alias ISOAMSA lrhar -->
+<!ENTITY ReverseUpEquilibrium "⥯" ><!--alias ISOAMSA duhar -->
+<!ENTITY RightAngleBracket "〉" ><!--alias ISOTECH rang -->
+<!ENTITY rightarrow "→" ><!--alias ISONUM rarr -->
+<!ENTITY Rightarrow "⇒" ><!--alias ISOTECH rArr -->
+<!ENTITY RightArrow "→" ><!--alias ISONUM rarr -->
+<!ENTITY RightArrowLeftArrow "⇄" ><!--alias ISOAMSA rlarr -->
+<!ENTITY rightarrowtail "↣" ><!--alias ISOAMSA rarrtl -->
+<!ENTITY RightCeiling "⌉" ><!--alias ISOAMSC rceil -->
+<!ENTITY RightDoubleBracket "〛" ><!--right double bracket delimiter -->
+<!ENTITY RightDownVector "⇂" ><!--alias ISOAMSA dharr -->
+<!ENTITY RightFloor "⌋" ><!--alias ISOAMSC rfloor -->
+<!ENTITY rightharpoondown "⇁" ><!--alias ISOAMSA rhard -->
+<!ENTITY rightharpoonup "⇀" ><!--alias ISOAMSA rharu -->
+<!ENTITY rightleftarrows "⇄" ><!--alias ISOAMSA rlarr -->
+<!ENTITY rightleftharpoons "⇌" ><!--alias ISOAMSA rlhar -->
+<!ENTITY rightrightarrows "⇉" ><!--alias ISOAMSA rrarr -->
+<!ENTITY rightsquigarrow "⇝" ><!--alias ISOAMSA rarrw -->
+<!ENTITY RightTee "⊢" ><!--alias ISOAMSR vdash -->
+<!ENTITY RightTeeArrow "↦" ><!--alias ISOAMSA map -->
+<!ENTITY rightthreetimes "⋌" ><!--alias ISOAMSB rthree -->
+<!ENTITY RightTriangle "⊳" ><!--alias ISOAMSR vrtri -->
+<!ENTITY RightTriangleEqual "⊵" ><!--alias ISOAMSR rtrie -->
+<!ENTITY RightUpVector "↾" ><!--alias ISOAMSA uharr -->
+<!ENTITY RightVector "⇀" ><!--alias ISOAMSA rharu -->
+<!ENTITY risingdotseq "≓" ><!--alias ISOAMSR erDot -->
+<!ENTITY rmoustache "⦗" ><!--alias ISOAMSC rmoust -->
+<!ENTITY Rrightarrow "⇛" ><!--alias ISOAMSA rAarr -->
+<!ENTITY Rsh "↱" ><!--alias ISOAMSA rsh -->
+<!ENTITY searrow "↘" ><!--alias ISOAMSA searr -->
+<!ENTITY setminus "∖" ><!--alias ISOAMSB setmn -->
+<!ENTITY ShortLeftArrow "←⁣" ><!--alias ISOAMSA slarr -->
+<!ENTITY shortmid "∣⁣" ><!--alias ISOAMSR smid -->
+<!ENTITY shortparallel "∥⁣" ><!--alias ISOAMSR spar -->
+<!ENTITY ShortRightArrow "→⁣" ><!--alias ISOAMSA srarr -->
+<!ENTITY simeq "≃" ><!--alias ISOTECH sime -->
+<!ENTITY SmallCircle "∘" ><!--alias ISOTECH compfn -->
+<!ENTITY smallsetminus "∖" ><!--alias ISOAMSB ssetmn -->
+<!ENTITY spadesuit "♠" ><!--ISOPUB spades -->
+<!ENTITY Sqrt "√" ><!--alias ISOTECH radic -->
+<!ENTITY sqsubset "⊏" ><!--alias ISOAMSR sqsub -->
+<!ENTITY sqsubseteq "⊑" ><!--alias ISOAMSR sqsube -->
+<!ENTITY sqsupset "⊐" ><!--alias ISOAMSR sqsup -->
+<!ENTITY sqsupseteq "⊒" ><!--alias ISOAMSR sqsupe -->
+<!ENTITY Square "□" ><!--alias for square -->
+<!ENTITY SquareIntersection "⊓" ><!--alias ISOAMSB sqcap -->
+<!ENTITY SquareSubset "⊏" ><!--alias ISOAMSR sqsub -->
+<!ENTITY SquareSubsetEqual "⊑" ><!--alias ISOAMSR sqsube -->
+<!ENTITY SquareSuperset "⊐" ><!--alias ISOAMSR sqsup -->
+<!ENTITY SquareSupersetEqual "⊒" ><!--alias ISOAMSR sqsupe -->
+<!ENTITY SquareUnion "⊔" ><!--alias ISOAMSB sqcup -->
+<!ENTITY Star "⋆" ><!--alias ISOAMSB sstarf -->
+<!ENTITY straightepsilon "ε" ><!--alias ISOGRK3 epsi -->
+<!ENTITY straightphi "φ" ><!--alias ISOGRK3 phi -->
+<!ENTITY subset "⊂" ><!--alias ISOTECH sub -->
+<!ENTITY Subset "⋐" ><!--alias ISOAMSR Sub -->
+<!ENTITY subseteq "⊆" ><!--alias ISOTECH sube -->
+<!ENTITY subseteqq "⊆" ><!--alias ISOAMSR subE -->
+<!ENTITY SubsetEqual "⊆" ><!--alias ISOTECH sube -->
+<!ENTITY subsetneq "⊊" ><!--alias ISOAMSN subne -->
+<!ENTITY subsetneqq "⊊" ><!--alias ISOAMSN subnE -->
+<!ENTITY succ "≻" ><!--alias ISOAMSR sc -->
+<!ENTITY succapprox "≿" ><!--alias ISOAMSR scap -->
+<!ENTITY succcurlyeq "≽" ><!--alias ISOAMSR sccue -->
+<!ENTITY Succeeds "≻" ><!--alias ISOAMSR sc -->
+<!ENTITY SucceedsEqual "≽" ><!--alias ISOAMSR sce -->
+<!ENTITY SucceedsSlantEqual "≽" ><!--alias ISOAMSR sccue -->
+<!ENTITY SucceedsTilde "≿" ><!--alias ISOAMSR scsim -->
+<!ENTITY succeq "≽" ><!--alias ISOAMSR sce -->
+<!ENTITY succnapprox "⋩" ><!--alias ISOAMSN scnap -->
+<!ENTITY succneqq "⪶" ><!--alias ISOAMSN scnE -->
+<!ENTITY succnsim "⋩" ><!--alias ISOAMSN scnsim -->
+<!ENTITY succsim "≿" ><!--alias ISOAMSR scsim -->
+<!ENTITY SuchThat "∋" ><!--ISOTECH ni -->
+<!ENTITY Sum "∑" ><!--alias ISOAMSB sum -->
+<!ENTITY Superset "⊃" ><!--alias ISOTECH sup -->
+<!ENTITY SupersetEqual "⊇" ><!--alias ISOTECH supe -->
+<!ENTITY supset "⊃" ><!--alias ISOTECH sup -->
+<!ENTITY Supset "⋑" ><!--alias ISOAMSR Sup -->
+<!ENTITY supseteq "⊇" ><!--alias ISOTECH supe -->
+<!ENTITY supseteqq "⊇" ><!--alias ISOAMSR supE -->
+<!ENTITY supsetneq "⊋" ><!--alias ISOAMSN supne -->
+<!ENTITY supsetneqq "⊋" ><!--alias ISOAMSN supnE -->
+<!ENTITY swarrow "↙" ><!--alias ISOAMSA swarr -->
+<!ENTITY therefore "∴" ><!--alias ISOTECH there4 -->
+<!ENTITY Therefore "∴" ><!--alias ISOTECH there4 -->
+<!ENTITY thickapprox "≈⁣" ><!--ISOAMSR thkap -->
+<!ENTITY thicksim "∼" ><!--ISOAMSR thksim -->
+<!ENTITY ThinSpace " " ><!--space of width 3/18 em alias ISOPUB thinsp -->
+<!ENTITY Tilde "∼" ><!--alias ISOTECH sim -->
+<!ENTITY TildeEqual "≃" ><!--alias ISOTECH sime -->
+<!ENTITY TildeFullEqual "≅" ><!--alias ISOTECH cong -->
+<!ENTITY TildeTilde "≈" ><!--alias ISOTECH ap -->
+<!ENTITY toea "⤨" ><!--alias ISOAMSA nesear -->
+<!ENTITY tosa "⤩" ><!--alias ISOAMSA seswar -->
+<!ENTITY triangle "▵" ><!--alias ISOPUB utri -->
+<!ENTITY triangledown "▿" ><!--alias ISOPUB dtri -->
+<!ENTITY triangleleft "◃" ><!--alias ISOPUB ltri -->
+<!ENTITY trianglelefteq "⊴" ><!--alias ISOAMSR ltrie -->
+<!ENTITY triangleq "≜" ><!--alias ISOAMSR trie -->
+<!ENTITY triangleright "▹" ><!--alias ISOPUB rtri -->
+<!ENTITY trianglerighteq "⊵" ><!--alias ISOAMSR rtrie -->
+<!ENTITY TripleDot "⃛" ><!--alias ISOTECH tdot -->
+<!ENTITY twoheadleftarrow "↞" ><!--alias ISOAMSA Larr -->
+<!ENTITY twoheadrightarrow "↠" ><!--alias ISOAMSA Rarr -->
+<!ENTITY ulcorner "⌜" ><!--alias ISOAMSC ulcorn -->
+<!ENTITY Union "⋃" ><!--alias ISOAMSB xcup -->
+<!ENTITY UnionPlus "⊎" ><!--alias ISOAMSB uplus -->
+<!ENTITY uparrow "↑" ><!--alias ISONUM uarr -->
+<!ENTITY Uparrow "⇑" ><!--alias ISOAMSA uArr -->
+<!ENTITY UpArrow "↑" ><!--alias ISONUM uarr -->
+<!ENTITY UpArrowDownArrow "⇅" ><!--alias ISOAMSA udarr -->
+<!ENTITY updownarrow "↕" ><!--alias ISOAMSA varr -->
+<!ENTITY Updownarrow "⇕" ><!--alias ISOAMSA vArr -->
+<!ENTITY UpDownArrow "↕" ><!--alias ISOAMSA varr -->
+<!ENTITY UpEquilibrium "⥮" ><!--alias ISOAMSA udhar -->
+<!ENTITY upharpoonleft "↿" ><!--alias ISOAMSA uharl -->
+<!ENTITY upharpoonright "↾" ><!--alias ISOAMSA uharr -->
+<!ENTITY UpperLeftArrow "↖" ><!--alias ISOAMSA nwarr -->
+<!ENTITY UpperRightArrow "↗" ><!--alias ISOAMSA nearr -->
+<!ENTITY upsilon "υ" ><!--alias ISOGRK3 upsi -->
+<!ENTITY Upsilon "ϒ" ><!--alias ISOGRK3 Upsi -->
+<!ENTITY UpTee "⊥" ><!--alias ISOTECH perp -->
+<!ENTITY upuparrows "⇈" ><!--alias ISOAMSA uuarr -->
+<!ENTITY urcorner "⌝" ><!--alias ISOAMSC urcorn -->
+<!ENTITY varepsilon "ɛ" ><!--alias ISOGRK3 epsiv -->
+<!ENTITY varkappa "ϰ" ><!--alias ISOGRK3 kappav -->
+<!ENTITY varnothing "∅" ><!--alias ISOAMSO emptyv -->
+<!ENTITY varphi "ϕ" ><!--alias ISOGRK3 phiv -->
+<!ENTITY varpi "ϖ" ><!--alias ISOGRK3 piv -->
+<!ENTITY varpropto "∝" ><!--alias ISOAMSR vprop -->
+<!ENTITY varrho "ϱ" ><!--alias ISOGRK3 rhov -->
+<!ENTITY varsigma "ς" ><!--alias ISOGRK3 sigmav -->
+<!ENTITY varsubsetneq "⊊⁣" ><!--alias ISOAMSN vsubne -->
+<!ENTITY varsubsetneqq "⊊⁣" ><!--alias ISOAMSN vsubnE -->
+<!ENTITY varsupsetneq "⊋⁣" ><!--alias ISOAMSN vsupne -->
+<!ENTITY varsupsetneqq "⊋⁣" ><!--alias ISOAMSN vsupnE -->
+<!ENTITY vartheta "ϑ" ><!--alias ISOGRK3 thetav -->
+<!ENTITY vartriangleleft "⊲" ><!--alias ISOAMSR vltri -->
+<!ENTITY vartriangleright "⊳" ><!--alias ISOAMSR vrtri -->
+<!ENTITY vee "∨" ><!--alias ISOTECH or -->
+<!ENTITY Vee "⋁" ><!--alias ISOAMSB xvee -->
+<!ENTITY vert "|" ><!--alias ISONUM verbar -->
+<!ENTITY Vert "‖" ><!--alias ISOTECH Verbar -->
+<!ENTITY VerticalBar "∣" ><!--alias ISOAMSR mid -->
+<!ENTITY VerticalTilde "≀" ><!--alias ISOAMSB wreath -->
+<!ENTITY VeryThinSpace " " ><!--space of width 1/18 em alias ISOPUB hairsp -->
+<!ENTITY wedge "∧" ><!--alias ISOTECH and -->
+<!ENTITY Wedge "⋀" ><!--alias ISOAMSB xwedge -->
+<!ENTITY wp "℘" ><!--alias ISOAMSO weierp -->
+<!ENTITY wr "≀" ><!--alias ISOAMSB wreath -->
diff --git a/helm/dtd/mmlextra.ent b/helm/dtd/mmlextra.ent
new file mode 100644
index 000000000..e76de448c
--- /dev/null
+++ b/helm/dtd/mmlextra.ent
@@ -0,0 +1,134 @@
+
+<!--
+ File mmlextra.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 af "⁡" ><!--short form of ⁡ -->
+<!ENTITY ApplyFunction "⁡" ><!--character showing function application in presentation tagging -->
+<!ENTITY Assign "≔" ><!--assignment operator -->
+<!ENTITY CapitalDifferentialD "ⅅ" ><!--D for use in differentials, e.g., within integrals -->
+<!ENTITY Cayleys "ℭ" ><!--the non-associative ring of octonions or Cayley numbers -->
+<!ENTITY complexes "ℂ" ><!--the field of complex numbers -->
+<!ENTITY Cross "⨯" ><!--cross or vector product -->
+<!ENTITY dd "ⅆ" ><!--short form of ⅆ -->
+<!ENTITY DD "ⅅ" ><!--short form of CapitalDifferentialD -->
+<!ENTITY DifferentialD "ⅆ" ><!--d for use in differentials, e.g., within integrals -->
+<!ENTITY DownArrowBar "⤓" ><!--down arrow to bar -->
+<!ENTITY DownBreve "̑" ><!--breve, inverted (non-spacing) -->
+<!ENTITY DownLeftRightVector "⥐" ><!--left-down-right-down harpoon -->
+<!ENTITY DownLeftTeeVector "⥞" ><!--left-down harpoon from bar -->
+<!ENTITY DownLeftVectorBar "⥖" ><!--left-down harpoon to bar -->
+<!ENTITY DownRightTeeVector "⥟" ><!--right-down harpoon from bar -->
+<!ENTITY DownRightVectorBar "⥗" ><!--right-down harpoon to bar -->
+<!ENTITY DownTeeArrow "↧" ><!--alias for mapstodown -->
+<!ENTITY ee "ⅇ" ><!--short form of ⅇ -->
+<!ENTITY EmptySmallSquare "◽" ><!--empty small square -->
+<!ENTITY EmptyVerySmallSquare "◽" ><!--empty small square -->
+<!ENTITY Equal "⩵" ><!--two consecutive equal signs -->
+<!ENTITY expectation "ℰ" ><!--expectation (operator) -->
+<!ENTITY exponentiale "ℯ" ><!--base of the Napierian logarithms -->
+<!ENTITY ExponentialE "ⅇ" ><!--e use for the exponential base of the natural logarithms -->
+<!ENTITY FilledSmallSquare "◾" ><!--filled small square -->
+<!ENTITY FilledVerySmallSquare "◾" ><!--filled very small square -->
+<!ENTITY Fouriertrf "ℱ" ><!--Fourier transform -->
+<!ENTITY GreaterGreater "⪢" ><!--alias for GT -->
+<!ENTITY HilbertSpace "ℋ" ><!--Hilbert space -->
+<!ENTITY HorizontalLine "─" ><!--short horizontal line -->
+<!ENTITY ic "​" ><!--short form of ⁣ -->
+<!ENTITY ii "ⅈ" ><!--short form of ⅈ -->
+<!ENTITY ImaginaryI "ⅈ" ><!--i for use as a square root of -1 -->
+<!ENTITY imagline "ℐ" ><!--the geometric imaginary line -->
+<!ENTITY integers "ℤ" ><!--the ring of integers -->
+<!ENTITY InvisibleComma "​" ><!--used as a separator, e.g., in indices -->
+<!ENTITY InvisibleTimes "⁢" ><!--marks multiplication when it is understood without a mark -->
+<!ENTITY it "⁢" ><!--short form of ⁢ -->
+<!ENTITY Laplacetrf "ℒ" ><!--Laplace transform -->
+<!ENTITY larrb "⇤" ><!--leftwards arrow to bar -->
+<!ENTITY LeftArrowBar "⇤" ><!--alias for larrb -->
+<!ENTITY LeftDownTeeVector "⥡" ><!--down-left harpoon from bar -->
+<!ENTITY LeftDownVectorBar "⥙" ><!--down-left harpoon to bar -->
+<!ENTITY LeftRightVector "⥎" ><!--left-up-right-up harpoon -->
+<!ENTITY LeftTeeArrow "↤" ><!--alias for mapstoleft -->
+<!ENTITY LeftTeeVector "⥚" ><!--left-up harpoon from bar -->
+<!ENTITY LeftTriangleBar "⧏" ><!--not left triangle, vertical bar -->
+<!ENTITY LeftUpDownVector "⥑" ><!--up-left-down-left harpoon -->
+<!ENTITY LeftUpTeeVector "⥠" ><!--up-left harpoon from bar -->
+<!ENTITY LeftUpVectorBar "⥘" ><!--up-left harpoon to bar -->
+<!ENTITY LeftVectorBar "⥒" ><!--left-up harpoon to bar -->
+<!ENTITY LessLess "⪡" ><!--alias for Lt -->
+<!ENTITY mapstodown "↧" ><!--downwards arrow from bar -->
+<!ENTITY mapstoleft "↤" ><!--leftwards arrow from bar -->
+<!ENTITY mapstoup "↥" ><!--upwards arrow from bar -->
+<!ENTITY Mellintrf "ℳ" ><!--Mellin transform -->
+<!ENTITY naturals "ℕ" ><!--the semi-ring of natural numbers -->
+<!ENTITY nbump "≎̸" ><!--not bumpy equals -->
+<!ENTITY nbumpe "≏̸" ><!--not bumpy single equals -->
+<!ENTITY NegativeMediumSpace " ⁣" ><!--space of width -4/18 em -->
+<!ENTITY NegativeThickSpace " ⁣" ><!--space of width -5/18 em -->
+<!ENTITY NegativeThinSpace " ⁣" ><!--space of width -3/18 em -->
+<!ENTITY NegativeVeryThinSpace " ⁣" ><!--space of width -1/18 em -->
+<!ENTITY nesim "≂̸" ><!--not equal or similar -->
+<!ENTITY NewLine "
" ><!--force a line break; line feed -->
+<!ENTITY NoBreak "" ><!--never break line here -->
+<!ENTITY NotCupCap "≭" ><!--alias for &nasymp; -->
+<!ENTITY NotEqualTilde "≂̸" ><!--alias for ≂̸ -->
+<!ENTITY NotHumpDownHump "≎̸" ><!--alias for ≎̸ -->
+<!ENTITY NotHumpEqual "≏̸" ><!--alias for ≏̸ -->
+<!ENTITY NotLeftTriangleBar "⧏̸" ><!--not left triangle, vertical bar -->
+<!ENTITY NotNestedGreaterGreater "⒢̸" ><!--not double greater-than sign -->
+<!ENTITY NotNestedLessLess "⒡̸" ><!--not double less-than sign -->
+<!ENTITY NotRightTriangleBar "⧐̸" ><!--not vertical bar, right triangle -->
+<!ENTITY NotSquareSubset "⊏̸" ><!--square not subset -->
+<!ENTITY NotSquareSuperset "⊐̸" ><!--negated set-like partial order operator -->
+<!ENTITY NotSucceedsTilde "≿̸" ><!--not succeeds or similar -->
+<!ENTITY OverBar "¯" ><!--over bar -->
+<!ENTITY OverBrace "︷" ><!--over brace -->
+<!ENTITY OverBracket "⎴" ><!--over bracket -->
+<!ENTITY OverParenthesis "︵" ><!--over parenthesis -->
+<!ENTITY planckh "ℎ" ><!--the ring (skew field) of quaternions -->
+<!ENTITY Poincareplane "ℌ" ><!--the Poincare upper half-plane -->
+<!ENTITY primes "ℙ" ><!--the prime natural numbers -->
+<!ENTITY Product "∏" ><!--alias for &prod -->
+<!ENTITY quaternions "ℍ" ><!--the ring (skew field) of quaternions -->
+<!ENTITY rarrb "⇥" ><!--leftwards arrow to bar -->
+<!ENTITY rationals "ℚ" ><!--the field of rational numbers -->
+<!ENTITY realine "ℛ" ><!--the geometric real line -->
+<!ENTITY reals "ℝ" ><!--the field of real numbers -->
+<!ENTITY RightArrowBar "⇥" ><!--alias for rarrb -->
+<!ENTITY RightDownTeeVector "⥝" ><!--down-right harpoon from bar -->
+<!ENTITY RightDownVectorBar "⥕" ><!--down-right harpoon to bar -->
+<!ENTITY RightTeeVector "⥛" ><!--right-up harpoon from bar -->
+<!ENTITY RightTriangleBar "⧐" ><!--vertical bar, right triangle -->
+<!ENTITY RightUpDownVector "⥏" ><!--up-right-down-right harpoon -->
+<!ENTITY RightUpTeeVector "⥜" ><!--up-right harpoon from bar -->
+<!ENTITY RightUpVectorBar "⥔" ><!--up-right harpoon to bar -->
+<!ENTITY RightVectorBar "⥓" ><!--up-right harpoon to bar -->
+<!ENTITY RoundImplies "⥰" ><!--round implies -->
+<!ENTITY RuleDelayed "⧴" ><!--rule-delayed (colon right arrow) -->
+<!ENTITY ShortDownArrow "⌄⁣" ><!--short down arrow -->
+<!ENTITY ShortUpArrow "⌃⁣" ><!--short up arrow -->
+<!ENTITY Tab "	" ><!--tabulator stop; horizontal tabulation -->
+<!ENTITY ThickSpace " " ><!--space of width 5/18 em -->
+<!ENTITY UnderBar "̲" ><!--combining low line -->
+<!ENTITY UnderBrace "︸" ><!--under brace -->
+<!ENTITY UnderBracket "⎵" ><!--under bracket -->
+<!ENTITY UpArrowBar "⤒" ><!--up arrow to bar -->
+<!ENTITY UpTeeArrow "↥" ><!--Alias mapstoup -->
+<!ENTITY VerticalLine "❘" ><!--short vertical line -->
+<!ENTITY VerticalSeparator "❘" ><!--vertical separating operator -->
+<!ENTITY zeetrf "ℨ" ><!--zee transform -->
+<!ENTITY ZeroWidthSpace "​" ><!--zero width space -->
diff --git a/helm/dtd/provastruct.theory.xml b/helm/dtd/provastruct.theory.xml
new file mode 100644
index 000000000..23c8f7c6d
--- /dev/null
+++ b/helm/dtd/provastruct.theory.xml
@@ -0,0 +1,158 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE SECTION SYSTEM "theoryobject.dtd">
+
+<SECTION>
+
+ <SECTION>
+ <Variable name="A" xmlns:m="http://www.w3.org/1998/Math/MathML"><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+
+
+ <m:apply><m:csymbol>Type</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Variable>
+ <SECTION>
+ <Variable name="B" xmlns:m="http://www.w3.org/1998/Math/MathML"><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+
+
+ <m:apply><m:csymbol>Type</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Variable>
+ <Axiom name="axiom" xmlns:m="http://www.w3.org/1998/Math/MathML"><Params>1: A 0: B</Params><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:ci>B</m:ci>
+ </m:apply>
+
+ <m:ci>B</m:ci>
+ </m:apply>
+ </m:apply>
+
+
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Axiom>
+ <Definition name="th1" xmlns:m="http://www.w3.org/1998/Math/MathML"><Params>1: A 0: B</Params><body>
+ <m:math><m:lambda><m:bvar><m:ci>A0</m:ci><m:type>
+ <m:ci>A</m:ci>
+ </m:type></m:bvar>
+ <m:lambda><m:bvar><m:ci>H</m:ci><m:type>
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:ci>B</m:ci>
+ </m:apply>
+ </m:type></m:bvar>
+ <m:apply><m:csymbol>app</m:csymbol>
+ <m:ci definitionURL="cic:/coq/INIT/Logic/Conjunction/and.ind">conj</m:ci>
+ <m:ci>A</m:ci>
+ <m:ci>B</m:ci>
+ <m:ci>A0</m:ci>
+ <m:apply><m:csymbol>app</m:csymbol>
+ <m:ci definitionURL="cic:/prove/provastruct/a/b1/axiom.con">axiom</m:ci>
+ <m:ci>A0</m:ci>
+ <m:ci>H</m:ci>
+ </m:apply>
+ </m:apply>
+ </m:lambda>
+ </m:lambda></m:math>
+ </body><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:ci>B</m:ci>
+ </m:apply>
+
+ <m:apply><m:and definitionURL="cic:/coq/INIT/Logic/Conjunction/and.ind"/><m:ci>A</m:ci><m:ci>B</m:ci></m:apply>
+ </m:apply>
+ </m:apply>
+
+
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Definition>
+ </SECTION>
+ <SECTION>
+ <Variable name="B" xmlns:m="http://www.w3.org/1998/Math/MathML"><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>Set</m:csymbol></m:apply>
+
+
+ <m:apply><m:csymbol>Type</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Variable>
+ <Axiom name="axiom'" xmlns:m="http://www.w3.org/1998/Math/MathML"><Params>1: A</Params><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>prod</m:csymbol><m:bvar><m:ci>A</m:ci><m:type>
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+ </m:type></m:bvar>
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:ci>A</m:ci>
+ </m:apply>
+ </m:apply>
+
+
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Axiom>
+ </SECTION>
+ <Definition name="th1'" xmlns:m="http://www.w3.org/1998/Math/MathML"><Params>0: A</Params><body>
+ <m:math><m:lambda><m:bvar><m:ci>A0</m:ci><m:type>
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+ </m:type></m:bvar>
+ <m:lambda><m:bvar><m:ci>H</m:ci><m:type>
+ <m:ci>A0</m:ci>
+ </m:type></m:bvar>
+ <m:ci>H</m:ci>
+ </m:lambda>
+ </m:lambda></m:math>
+ </body><type>
+ <m:math><m:apply><m:csymbol>cast</m:csymbol>
+
+ <m:apply><m:csymbol>prod</m:csymbol><m:bvar><m:ci>A</m:ci><m:type>
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+ </m:type></m:bvar>
+ <m:apply><m:csymbol>arrow</m:csymbol>
+ <m:ci>A</m:ci>
+
+ <m:ci>A</m:ci>
+ </m:apply>
+ </m:apply>
+
+
+ <m:apply><m:csymbol>Prop</m:csymbol></m:apply>
+
+ </m:apply></m:math>
+ </type></Definition>
+ </SECTION>
+</SECTION>
+
+<!-- This page was served in 4037 milliseconds by Cocoon 1.7.3 -->
diff --git a/helm/dtd/theoryobject.dtd b/helm/dtd/theoryobject.dtd
new file mode 100644
index 000000000..8ff26cfb2
--- /dev/null
+++ b/helm/dtd/theoryobject.dtd
@@ -0,0 +1,14 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR THEORY OBJECTS AT LEVEL OF MATHML CONTENT: -->
+<!-- First draft: May 9 2000, Irene Schena -->
+<!--*****************************************************************-->
+
+<!ENTITY % cicobj SYSTEM "cicobject.dtd">
+
+%cicobj;
+
+<!-- THEORY section: -->
+
+<!ELEMENT SECTION (SECTION|Definition|Axiom|InductiveDefinition|Variable)*>
diff --git a/helm/header/getheader.xml b/helm/header/getheader.xml
new file mode 100644
index 000000000..a0f903f87
--- /dev/null
+++ b/helm/header/getheader.xml
@@ -0,0 +1,21 @@
+<?xml version="1.0"?>
+<?cocoon-process type="xsp"?>
+<?cocoon-process type="xslt"?>
+
+<?xml-stylesheet href="setheader.xsl" type="text/xsl"?>
+<xsp:page language="java" xmlns:xsp="http://www.apache.org/1999/XSP/Core">
+ <hroot>
+ <xsp:logic>
+ String baseURL = request.getParameter("baseurl");
+ String styleURL1 = request.getParameter("stylesheet1");
+ String styleURL2 = request.getParameter("stylesheet2");
+ String xmlURI = request.getParameter("xmluri");
+ String annURI = request.getParameter("annuri");
+ </xsp:logic>
+ <url><xsp:expr>baseURL</xsp:expr></url>
+ <style1><xsp:expr>styleURL1</xsp:expr></style1>
+ <style2><xsp:expr>styleURL2</xsp:expr></style2>
+ <xml><xsp:expr>xmlURI</xsp:expr></xml>
+ <ann><xsp:expr>annURI</xsp:expr></ann>
+ </hroot>
+</xsp:page>
diff --git a/helm/header/provaurl b/helm/header/provaurl
new file mode 100644
index 000000000..86344dc78
--- /dev/null
+++ b/helm/header/provaurl
@@ -0,0 +1 @@
+http://phd.cs.unibo.it/helm/PARSER/examples/header/getheader.xml?baseurl=http://cartoonia.cs.unibo.it/helm/PARSER/examples/style/&stylesheet1=content.xsl&stylesheet2=mmlextension.xsl&xmlfile=file:///really_very_local/helm/PARSER/examples/prove/provaIota/bool_ind.con.xml
diff --git a/helm/header/provaurl1 b/helm/header/provaurl1
new file mode 100644
index 000000000..d95769884
--- /dev/null
+++ b/helm/header/provaurl1
@@ -0,0 +1,2 @@
+http://cartoonia.cs.unibo.it/helm/PARSER/examples/header/getheader.xml?baseurl=http://cartoonia.cs.unibo.it/helm/PARSER/examples/style/&stylesheet1=content.xsl&stylesheet2=content_to_html.xsl&xmlfile=/really_very_local/helm/PARSER/examples/prove/prova/forest_rec.con.xml:wq
+
diff --git a/helm/header/setheader.xsl b/helm/header/setheader.xsl
new file mode 100644
index 000000000..a1ba13199
--- /dev/null
+++ b/helm/header/setheader.xsl
@@ -0,0 +1,33 @@
+<?xml version="1.0"?>
+
+<!--******************************************************************-->
+<!-- XSLT version 0.1 of CIC files to CIC files with the header for -->
+<!-- applying a stylesheet: -->
+<!-- First draft: March 10 2000 Irene Schena -->
+<!--******************************************************************-->
+
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:variable name="absPath">http://localhost:8081/get?url=</xsl:variable>
+
+<!--SET THE HEADER AND OPEN THE XML FILE-->
+
+<xsl:template match="hroot">
+ <xsl:variable name="xmlURI"><xsl:value-of select="xml"/></xsl:variable>
+ <xsl:variable name="annURI"><xsl:value-of select="ann"/></xsl:variable>
+ <xsl:processing-instruction name="cocoon-format">type="text/xml"</xsl:processing-instruction>
+ <xsl:processing-instruction name="xml-stylesheet">href="<xsl:value-of select="concat(url,style1)"/>" type="text/xsl"</xsl:processing-instruction>
+ <xsl:processing-instruction name="cocoon-process">type="xslt"</xsl:processing-instruction>
+<cicxml baseurl="{url}" stylesheet="{style2}" uri="{$xmlURI}">
+ <xsl:apply-templates select="document(concat(string($absPath),$xmlURI))" mode="copyxml"/>
+ <xsl:apply-templates select="document(concat(string($absPath),$annURI))" mode="copyxml"/>
+</cicxml>
+</xsl:template>
+
+<!-- COPY THE XML FILE -->
+
+<xsl:template match="/" mode="copyxml">
+ <xsl:copy-of select="*"/>
+</xsl:template>
+
+</xsl:stylesheet>
--
2.39.5