X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-mmlp.xsl;h=cd4ee601fc516f044ff3bc07aa91065b635b347e;hb=f41a5585a648d57e4d8a24d664b0a5ce5d591148;hp=7b1ad7cb3ca4d9a9d3aace5e06223f19bf85cfac;hpb=98e5817ce4fa424fb3181d90d327935c1b100ec4;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index 7b1ad7cb3..cd4ee601f 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -48,6 +48,12 @@
     </xsl:choose>
   </xsl:template>
 
+  <xsl:template match="tml:tex[not(tml:math)]">
+    <!-- This is an empty TeX document. We generate the corresponding  -->
+    <!-- empty MathML document.                                        -->
+    <m:math/>
+  </xsl:template>
+
   <xsl:template match="tml:math">
     <m:math>
       <xsl:if test="@id">
@@ -215,7 +221,7 @@
          </xsl:if><xsl:value-of select="@val"/>I</m:mtext>
       </xsl:otherwise>
     </xsl:choose>
-  </xsl:template>-->
+  </xsl:template>
 
   <xsl:template match="tml:cursor[not(@visible) or @visible='0']">
   </xsl:template>
@@ -912,6 +918,18 @@
     </m:mstyle>
   </xsl:template>
 
+  <xsl:template match="tml:c[@name='_']">
+<!-- _ -->
+    <m:mi>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      <xsl:text>_</xsl:text>
+    </m:mi>
+  </xsl:template>
+
   <xsl:template match="tml:c[@name=',']">
 <!-- , -->
     <m:mspace width="thinmathspace">
@@ -1135,8 +1153,4 @@
     </m:mfrac>
   </xsl:template>
 
-  <xsl:template match="tml:c[@name='space']">
-    <m:mspace width="veryverythickmathspace">
-    </m:mspace>
-  </xsl:template>
 </xsl:stylesheet>