]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlextension.xsl
Modified Files:
[helm.git] / helm / style / mmlextension.xsl
index f9dcfae51b6dd0ee8cb0809ad77fd7398982ea7a..90f8cca103d34b091ebb4af014c0c21b1f953857 100644 (file)
 <!-- CSYMBOL -->
 
 <xsl:template match="m:apply[m:csymbol]">
-<xsl:param name="nopar" select="1"/>
+<xsl:param name="nopar" select="0"/>
     <xsl:variable name="name"><xsl:value-of select="m:csymbol"/></xsl:variable>
     <xsl:variable name="charlength"><xsl:apply-templates select="m:csymbol" mode="charcount"/></xsl:variable>
     <m:mrow>
             <xsl:if test="$nopar=0">
              <m:mo stretchy="false">(</m:mo>
             </xsl:if>
-            <xsl:apply-templates select="*[position()=2]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+            <xsl:apply-templates select="*[position()=2]"/>
            </m:mrow>
           </m:mtd>
          </m:mtr>
               <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="1"/></xsl:apply-templates>
              </xsl:when>
              <xsl:otherwise>
-              <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+              <xsl:apply-templates select="*[position()=3]"/>
              </xsl:otherwise>
              </xsl:choose>
             </xsl:when>
             <xsl:otherwise>
-             <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+             <xsl:apply-templates select="*[position()=3]"/>
             </xsl:otherwise>
             </xsl:choose>
            </m:mrow>
         <xsl:if test="$nopar=0">
          <m:mo stretchy="false">(</m:mo>
         </xsl:if>
-        <xsl:apply-templates select="*[position()=2]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+        <xsl:apply-templates select="*[position()=2]"/>
         <m:mo mathcolor="Blue">&#x2192;</m:mo>
         <xsl:choose>
         <xsl:when test="*[position()=3]/m:csymbol">
           <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="1"/></xsl:apply-templates>
          </xsl:when>
          <xsl:otherwise>
-          <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+          <xsl:apply-templates select="*[position()=3]"/>
          </xsl:otherwise>
          </xsl:choose>
         </xsl:when>
         <xsl:otherwise>
-         <xsl:apply-templates select="*[position()=3]"><xsl:with-param name="nopar" select="0"/></xsl:apply-templates>
+         <xsl:apply-templates select="*[position()=3]"/>
         </xsl:otherwise>
         </xsl:choose>
         <xsl:if test="$nopar=0">