<!-- ====================================================== -->
<!-- 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: -->
</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>
<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>