X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=c4210dd3cafca81099317ab9e65a6d75f2fbf5af;hb=f4b50fddad3bd0cfec71f98cad53220dfd248522;hp=a29d6019cac7b85324c76742f6c4d38642a161b6;hpb=ed48e54d2bd1a483edb14fad9f4dcefe4f9076f6;p=helm.git

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index a29d6019c..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -370,7 +370,10 @@
    </m:mi>
   </xsl:when>
   <xsl:otherwise>
-   <xsl:copy-of select="*"/>
+   <m:mrow>
+    <xsl:call-template name="insert"/>
+    <xsl:copy-of select="*"/>
+   </m:mrow>
   </xsl:otherwise>
  </xsl:choose>
     </xsl:otherwise>