</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>