X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;fp=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=8b237387f4bc3bd4a99ca7de90bfc7bd87fecfde;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
new file mode 100644
index 000000000..8b237387f
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -0,0 +1,949 @@
+<?xml version="1.0"?>
+<xsl:stylesheet
+     xmlns:xsl="http://www.w3.org/1999/XSL/Transform" 
+     xmlns:tml="http://helm.cs.unibo.it/2002/TML"
+     xmlns:m="http://www.w3.org/1998/Math/MathML"
+     version="1.0">
+
+  <xsl:output indent="yes"/>
+
+  <xsl:param name="id" select="/.."/>
+
+  <xsl:template match="/">
+    <xsl:choose>
+      <xsl:when test="$id">
+        <xsl:apply-templates select="descendant::*[@id=$id]"/>
+      </xsl:when>
+      <xsl:otherwise>
+        <xsl:apply-templates/>
+      </xsl:otherwise>
+    </xsl:choose>
+  </xsl:template>
+
+  <xsl:template match="tml:math">
+    <m:math>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+       <xsl:if test="@display='1'">
+        <xsl:attribute name="display">block</xsl:attribute>
+      </xsl:if>
+      <xsl:attribute name="display">block</xsl:attribute>
+      <xsl:apply-templates select="*"/>
+    </m:math>
+  </xsl:template>
+
+  <xsl:template match="tml:i">
+    <m:mi>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="@val"/>
+    </m:mi>
+  </xsl:template>
+
+  <xsl:template match="tml:n">
+    <m:mn>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="@val"/>
+    </m:mn>
+  </xsl:template>
+
+  <xsl:template match="tml:o">
+    <m:mo>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="@val"/>
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:cursor">
+    <xsl:choose>
+      <xsl:when test="substring(@val,1,1)='\'">
+        <m:mrow>
+          <xsl:if test="@id">
+            <xsl:attribute name="xref">
+              <xsl:value-of select="@id"/>
+            </xsl:attribute>
+          </xsl:if>
+          <m:mo stretchy="false">&#x2329;</m:mo>
+          <m:mtext mathcolor="blue"><xsl:value-of select="@val"/></m:mtext>
+          <m:mo stretchy="false">&#x232a;</m:mo>
+        </m:mrow>
+      </xsl:when>
+      <xsl:otherwise>
+        <m:mtext mathcolor="blue">
+          <xsl:if test="@id">
+            <xsl:attribute name="xref">
+              <xsl:value-of select="@id"/>
+            </xsl:attribute>
+          </xsl:if>
+	  <xsl:value-of select="@val"/>
+	</m:mtext>
+      </xsl:otherwise>
+    </xsl:choose>
+  </xsl:template>
+
+  <xsl:template match="tml:sb[@under='1'][*[1]/tml:sp[@over='1']]">
+    <m:munderover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]/*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+      <xsl:apply-templates select="*[1]/*[2]"/>
+    </m:munderover>
+  </xsl:template>
+
+  <xsl:template match="tml:sb[@under='1']">
+    <m:munder>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:munder>
+  </xsl:template>
+
+  <xsl:template match="tml:sb[*[1][self::tml:sp[not(@over) or @over='0']]]">
+    <m:msubsup>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]/*[1]"/>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[1]/*[2]"/>
+    </m:msubsup>
+  </xsl:template>
+
+  <xsl:template match="tml:sb">
+    <m:msub>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:msub>
+  </xsl:template>
+
+  <xsl:template match="tml:sp[@over='1'][*[1]/tml:sb[@under='1']]">
+    <m:munderover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]/*[1]"/>
+      <xsl:apply-templates select="*[1]/*[2]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:munderover>
+  </xsl:template>
+
+  <xsl:template match="tml:sp[@over='1']">
+    <m:mover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:sp[*[1][self::tml:sb[not(@over) or @over='0']]]">
+    <m:msubsup>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]/*[1]"/>
+      <xsl:apply-templates select="*[1]/*[2]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:msubsup>
+  </xsl:template>
+
+  <xsl:template match="tml:sp">
+    <m:msup>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:msup>
+  </xsl:template>
+
+  <xsl:template match="tml:g">
+    <xsl:choose>
+      <xsl:when test="not(@id) and count(*) = 1">
+        <xsl:apply-templates select="*[1]"/>
+      </xsl:when>
+      <xsl:when test="tml:cursor">
+    	<m:mstyle mathbackground="#e0e0e0">
+          <xsl:if test="@id">
+            <xsl:attribute name="xref">
+              <xsl:value-of select="@id"/>
+            </xsl:attribute>
+	  </xsl:if>
+	  <m:mrow>
+    	    <xsl:apply-templates select="*"/>
+	  </m:mrow>
+    	</m:mstyle>
+      </xsl:when>
+       <xsl:otherwise>
+    	<m:mrow>
+	  <xsl:if test="@id">
+            <xsl:attribute name="xref">
+              <xsl:value-of select="@id"/>
+            </xsl:attribute>
+	  </xsl:if>
+    	  <xsl:apply-templates select="*"/>
+    	</m:mrow>
+      </xsl:otherwise>
+    </xsl:choose>
+  </xsl:template>
+
+  <xsl:template match="tml:row">
+    <m:mtr>
+      <xsl:apply-templates select="cell"/>
+    </m:mtr>
+  </xsl:template>
+
+  <xsl:template match="tml:cell">
+    <m:mtd>
+      <xsl:apply-templates select="*"/>
+    </m:mtd>
+  </xsl:template>
+
+<!--/// CONTROL SEQUENCES ///-->
+
+  <xsl:template match="tml:c">
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mtext mathcolor="blue">\<xsl:value-of select="@name"/></m:mtext>
+      <xsl:apply-templates select="*"/>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='fun' and count(*)=3]">
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo mathcolor="red">&#x03bb;</m:mo>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>:</m:mo>
+      <xsl:apply-templates select="*[2]"/>
+      <m:mo>.</m:mo>
+      <xsl:apply-templates select="*[3]"/>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='not'][*[1][self::tml:o]]">
+<!-- not -->
+    <m:mo>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="*[1]/@val"/>&#x0338;</m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='buildrel']">
+<!-- buildrel -->
+    <m:mover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[2]"/>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='left' or @name='right'][*[1][self::tml:o]]">
+<!-- left -->
+    <m:mo stretchy="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="*[1]/@val"/>
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='bigl' or @name='bigr' or @name='bigm' or @name='big'][*[1][self::tml:o]]">
+<!-- bigl -->
+    <m:mo stretchy="true" minsize="8.5pt">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="*[1]/@val"/>
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='Bigl' or @name='Bigr' or @name='Bigm'][*[1][self::tml:o]]">
+<!-- Bigl -->
+    <m:mo stretchy="true" minsize="11.5pt">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="*[1]/@val"/>
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='biggl' or @name='biggr' or @name='biggm'][*[1][self::tml:o]]">
+<!-- biggl -->
+    <m:mo stretchy="true" minsize="14.5pt">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="*[1]/@val"/>
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='Biggl' or @name='Biggr' or @name='Biggm'][*[1][self::tml:o]]">
+<!-- biggl -->
+    <m:mo stretchy="true" minsize="17.5pt">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:value-of select="*[1]/@val"/>
+    </m:mo>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='hat']">
+<!-- hat -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0302;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='widehat']">
+<!-- widehat -->
+    <m:mover accent="false">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo stretchy="true">&#x0302;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='check']">
+<!-- check -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x030c;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='tilde']">
+<!-- tilde -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0303;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='widetilde']">
+<!-- widetilde -->
+    <m:mover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo stretchy="true">&#x0303;</m:mo>
+    </m:mover>>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='acute']">
+<!-- acute -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0301;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='grave']">
+<!-- grave -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0300;</m:mo>
+    </m:mover>>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='dot']">
+<!-- dot -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0307;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='ddot']">
+<!-- ddot -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0308;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='breve']">
+<!-- breve -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0306;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='bar']">
+<!-- bar -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x0304;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='vec']">
+<!-- vec -->
+    <m:mover accent="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo>&#x20d7;</m:mo>
+    </m:mover>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='overline']">
+<!-- overline -->
+    <m:mover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo stretchy="true">&#x0305;</m:mo>
+    </m:mover>>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='underline']">
+<!-- underline -->
+    <m:munder>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo stretchy="true">&#x0332;</m:mo>
+    </m:munder>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='sqrt']">
+<!-- sqrt -->
+    <m:msqrt>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*"/>
+    </m:msqrt>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='root']">
+<!-- root -->
+    <m:mroot>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[2]"/>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mroot>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='frac']">
+<!-- frac -->
+    <m:mfrac>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:mfrac>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='over']">
+<!-- over -->
+    <m:mfrac>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:mfrac>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='atop']">
+<!-- atop -->
+    <m:mfrac linethickness="0">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <xsl:apply-templates select="*[2]"/>
+    </m:mfrac>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='choose']">
+<!-- choose -->
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo stretchy="true">(</m:mo>
+      <m:mfrac linethickness="0">
+        <xsl:apply-templates select="*[1]"/>
+        <xsl:apply-templates select="*[2]"/>
+      </m:mfrac>
+      <m:mo stretchy="true">)</m:mo>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='brace']">
+<!-- brace -->
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo stretchy="true">{</m:mo>
+      <m:mfrac linethickness="0">
+        <xsl:apply-templates select="*[1]"/>
+        <xsl:apply-templates select="*[2]"/>
+      </m:mfrac>
+      <m:mo stretchy="true">}</m:mo>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='brack']">
+<!-- brack -->
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo stretchy="true">[</m:mo>
+      <m:mfrac linethickness="0">
+        <xsl:apply-templates select="*[1]"/>
+        <xsl:apply-templates select="*[2]"/>
+      </m:mfrac>
+      <m:mo stretchy="true">]</m:mo>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='displaystyle']">
+<!-- displaystyle -->
+    <m:mstyle displaystyle="true">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='textstyle']">
+<!-- textstyle -->
+    <m:mstyle scriptlevel="0">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='scriptstyle']">
+<!-- scriptstyle -->
+    <m:mstyle scriptlevel="1">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='scriptscriptstyle']">
+<!-- scriptscriptstyle -->
+    <m:mstyle scriptlevel="2">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='pmod']">
+<!-- pmod -->
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo>(</m:mo>
+      <m:mrow>
+        <m:mo>mod</m:mo>
+        <xsl:apply-templates select="*[1]"/>
+      </m:mrow>
+      <m:mo>)</m:mo>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='rm']">
+<!-- rm -->
+    <m:mstyle mathvariant="normal">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='bf']">
+<!-- bf -->
+    <m:mstyle mathvariant="bold">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='tt']">
+<!-- tt -->
+    <m:mstyle mathvariant="monospace">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='sl']">
+<!-- sl -->
+    <m:mstyle mathvariant="italic">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='it']">
+<!-- it -->
+    <m:mstyle mathvariant="italic">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+    </m:mstyle>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name=',']">
+<!-- , -->
+    <m:mspace width="thinmathspace">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+    </m:mspace>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='&gt;']">
+<!-- > -->
+    <m:mspace width="mediummathspace">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+    </m:mspace>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name=';']">
+<!-- ; -->
+    <m:mspace width="thickmathspace">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+    </m:mspace>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='!']">
+<!-- ! -->
+    <m:mspace width="-0.166667em">
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+    </m:mspace>
+  </xsl:template>
+
+  <xsl:template name="table-content">
+      <xsl:choose>
+        <xsl:when test="tml:row">
+          <xsl:apply-templates select="tml:row"/>
+        </xsl:when>
+        <xsl:otherwise>
+          <m:mtr>
+            <m:mtd>
+              <xsl:apply-templates select="*"/>
+            </m:mtd>
+          </m:mtr>
+        </xsl:otherwise>
+      </xsl:choose>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='matrix']">
+<!-- matrix -->
+    <m:mtable>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:call-template name="table-content"/>
+    </m:mtable>
+  </xsl:template>
+
+  <xsl:template match="tml:row">
+    <m:mtr>
+      <xsl:apply-templates select="tml:cell"/>
+    </m:mtr>
+  </xsl:template>
+
+  <xsl:template match="tml:cell">
+    <m:mtd>
+      <xsl:apply-templates select="*"/>
+    </m:mtd>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='pmatrix']">
+<!-- pmatrix -->
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo stretchy="true">(</m:mo>
+      <m:mtable>
+        <xsl:call-template name="table-content"/>
+      </m:mtable>
+      <m:mo stretchy="true">)</m:mo>
+    </m:mrow>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='bordermatrix']">
+<!-- bordermatrix -->
+    <m:mtable>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mtr>
+        <xsl:apply-templates select="tml:row[1]/tml:cell[1]"/>
+        <m:mtd/>
+        <xsl:apply-templates select="tml:row[1]/tml:cell[position() &gt; 1]"/>
+	<m:mtd/>
+      </m:mtr>
+      <xsl:for-each select="tml:row[position() &gt; 1]">
+        <m:mtr>
+          <xsl:apply-templates select="tml:cell[1]"/>
+          <xsl:if test="position() = 1">
+            <m:mtd rowspan="{count(../tml:row) - 1}">
+              <m:mo stretchy="true">(</m:mo>
+            </m:mtd>
+          </xsl:if>
+          <xsl:apply-templates select="tml:cell[position() &gt; 1]"/>
+          <xsl:if test="position() = 1">
+            <m:mtd rowspan="{count(../tml:row) - 1}">
+              <m:mo stretchy="true">)</m:mo>
+            </m:mtd>
+          </xsl:if>         
+        </m:mtr>
+      </xsl:for-each>      
+    </m:mtable>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='overbrace']">
+<!-- overbrace -->
+    <m:mover>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo stretchy="true">????</m:mo>
+    </m:mover>>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='underbrace']">
+<!-- underbrace -->
+    <m:munder>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="*[1]"/>
+      <m:mo stretchy="true">????</m:mo>
+    </m:munder>
+  </xsl:template>
+
+  <xsl:template match="tml:c[@name='cases']">
+<!-- cases -->
+    <m:mrow>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <m:mo stretchy="true">{</m:mo>
+      <m:mtable>
+        <xsl:call-template name="table-content"/>
+      </m:mtable>
+    </m:mrow>
+  </xsl:template>
+
+</xsl:stylesheet>