From ed48e54d2bd1a483edb14fad9f4dcefe4f9076f6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 4 Dec 2000 13:53:13 +0000
Subject: [PATCH] not simbol is now the logical one

---
 helm/style/mml2mmlv1_0.xsl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index 063bfb8ca..a29d6019c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -1155,7 +1155,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>
-- 
2.39.2