last commit for helena 0.8.1

[helm.git] / helm / software / lambda-delta / xml / ld-html-library.xsl

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 2094c2a87929dbae5278af3b6bcf71e22ada6fad..3120f09609e79f7fc44e01fc71fe127327559997 100644 (file)
--- 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}">