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

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index c88dd3da2..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -22,7 +22,7 @@
 
 <!-- ====================================================== -->
 <!--  June, 2000 - HELM group:                              -->
-<!--  Added auxiliary function to inser:                    -->
+<!--  Added auxiliary function to insert:                    -->
 <!--  1) backwards pointers: helm:xref                      -->
 <!--  2) references to definitions: xlink:href              -->
 <!--  Added call-templates to the functions:                -->
@@ -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>
@@ -1155,7 +1158,10 @@
 <xsl:template match = "m:apply[m:not[1]]">
   <m:mrow>
     <xsl:call-template name="insert_xref"/>
+<!-- CSC, per estetica!
     <m:mo><xsl:call-template name="insert1"/>not</m:mo>
+-->
+    <m:mo><xsl:call-template name="insert1"/><m:mchar name="not"/></m:mo>
     <xsl:apply-templates select = "*[2]" mode = "semantics">
       <xsl:with-param name="IN_PREC" select="$FUNCTION_PREC"/>
     </xsl:apply-templates>