Modified Files:

[helm.git] / helm / style / content.xsl

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index afeb75493ff8a0f59de6e1f240157d98b4a33981..a8d2ae856004fb55d83d3324558f1d488632d09f 100644 (file)
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -79,6 +79,19 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
     </m:lambda>
 </xsl:template>
 
+<xsl:template match="LETIN" mode="pure">
+    <m:apply helm:xref="{@id}">
+     <m:csymbol>letin</m:csymbol>
+     <m:bvar>
+      <m:ci>
+       <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="letintarget/@binder"/></xsl:with-param></xsl:call-template>
+      </m:ci>
+     </m:bvar>
+     <xsl:apply-templates select="*[1]" mode="noannot"/>
+     <xsl:apply-templates select="letintarget/*[1]" mode="noannot"/>
+    </m:apply>
+</xsl:template>
+
 <xsl:template match="PROD" mode="pure">
     <m:apply helm:xref="{@id}">
      <xsl:choose>