X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=65f9825128b4eb13d0208c8b2def3e359ea71786;hb=71cc512008eddc1c64b0388b7def903d1994eaa2;hp=a8d2ae856004fb55d83d3324558f1d488632d09f;hpb=f079a5948394ada2f2aba69270869058111bb3fe;p=helm.git

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index a8d2ae856..65f982512 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -81,7 +81,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 
 <xsl:template match="LETIN" mode="pure">
     <m:apply helm:xref="{@id}">
-     <m:csymbol>letin</m:csymbol>
+     <m:csymbol>let_in</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>