</xsl:choose>
</xsl:for-each>
</xsl:when>
- <!-- proof -->
+ <!-- proof and side_proof -->
<xsl:when test="$name='proof' or $name='side_proof'">
<xsl:apply-templates mode="inline" select="*[position()=2]"/>
<FONT color="red"> proves </FONT>
<xsl:apply-templates mode="inline" select="*[position()=3]"/>
+ <xsl:if test="*[4]">
+ <FONT color="red"> which is equivalent to </FONT>
+ <xsl:apply-templates mode="inline" select="*[position()=4]"/>
+ </xsl:if>
</xsl:when>
+ <!-- letin1 -->
<xsl:when test="$name='letin1'">
<xsl:text>letin1 (inline error)</xsl:text>
</xsl:when>