X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;fp=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;h=3120f09609e79f7fc44e01fc71fe127327559997;hb=cee0c3ca597ebbff2250674c255ed1bc909521fb;hp=2094c2a87929dbae5278af3b6bcf71e22ada6fad;hpb=30bbfa78612ca1ad0c131a75d7075cfd35bebbe1;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 2094c2a87..3120f0960 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -85,7 +85,26 @@
 <xsl:template name="lambda">
    <a name="" title="{@mark}">
       <span style="{$binder}">
-         <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+         <xsl:choose>
+	    <xsl:when test="@level=0">
+	       <xsl:text disable-output-escaping="yes">&amp;Pi;</xsl:text>
+               <sup><xsl:value-of select="@level"/></sup>
+	    </xsl:when>
+	    <xsl:when test="@level=1">
+	       <xsl:text disable-output-escaping="yes">&amp;Pi;</xsl:text>
+	    </xsl:when>
+	    <xsl:when test="@level=2">
+	       <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+	    </xsl:when>
+	    <xsl:when test="not(@level)">
+	       <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+	       <sup><xsl:text disable-output-escaping="yes">&amp;infin;</xsl:text></sup>
+	    </xsl:when>
+	    <xsl:otherwise>
+	       <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+               <sup><xsl:value-of select="@level"/></sup>
+	    </xsl:otherwise>	    
+         </xsl:choose>
       </span>
    </a>
 </xsl:template>
@@ -110,8 +129,8 @@
    <xsl:variable name="index">
       <xsl:value-of select="@position"/>
       <xsl:if test="@offset != 0">
-         <xsl:call-template name="plus"/>         
-	 <xsl:value-of select="@offset"/>      
+         <xsl:call-template name="plus"/>
+	 <xsl:value-of select="@offset"/>
       </xsl:if>
    </xsl:variable>
    <a name="" title="{$index}">