+ <!-- ***************************************** -->
+ <!-- *********** LAMBDA ELEMENTS ************** -->
+ <!-- ***************************************** -->
+ <xsl:when test="$name='subst'">
+ <xsl:apply-templates select="*[2]"/>
+ <xsl:text>[</xsl:text>
+ <xsl:apply-templates select="*[4]"/>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="blue" SIZE="+0" FACE="symbol">
+ <xsl:text>¬</xsl:text>
+ </FONT>
+ </a>
+ <xsl:apply-templates select="*[3]"/>
+ <xsl:text>]</xsl:text>
+ </xsl:when>
+
+ <xsl:when test="$name='lift_with_base'">
+ <SUB>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ </SUB>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>­</xsl:text>
+ </FONT>
+ </a>
+ <SUP>
+ <xsl:apply-templates select="*[4]" mode="inline"/>
+ </SUP>
+ <xsl:text>(</xsl:text>
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <xsl:text>)</xsl:text>
+ </xsl:when>
+
+ <xsl:when test="$name='lift'">
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>­</xsl:text>
+ </FONT>
+ </a>
+ <SUP>
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ </SUP>
+ <xsl:text>(</xsl:text>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ <xsl:text>)</xsl:text>
+ </xsl:when>
+
+ <!-- reduction -->
+ <xsl:when test="$name='beta_red1'">
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>®</xsl:text>
+ </FONT>
+ <SUB>
+ <FONT color="green" FACE="symbol">
+ <xsl:text>b</xsl:text>
+ </FONT>
+ </SUB>
+ </a>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ </xsl:when>
+
+ <xsl:when test="$name='beta_red'">
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>®</xsl:text>
+ </FONT>
+ <SUB>
+ <FONT color="green" FACE="symbol">
+ <xsl:text>b*</xsl:text>
+ </FONT>
+ </SUB>
+ </a>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ </xsl:when>
+
+ <xsl:when test="$name='par_beta_red1'">
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>Þ</xsl:text>
+ </FONT>
+ <SUB>
+ <FONT color="green" FACE="symbol">
+ <xsl:text>b</xsl:text>
+ </FONT>
+ </SUB>
+ </a>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ </xsl:when>
+
+ <xsl:when test="$name='par_beta_red'">
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>Þ</xsl:text>
+ </FONT>
+ <SUB>
+ <FONT color="green" FACE="symbol">
+ <xsl:text>b*</xsl:text>
+ </FONT>
+ </SUB>
+ </a>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ </xsl:when>
+
+ <!-- forgetful -->
+ <xsl:when test="$name='forgetful'">
+ <a href="{*[1]/@definitionURL}">|</a>
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <a href="{*[1]/@definitionURL}">|</a>
+ </xsl:when>
+
+ <!-- boolean algebra of redexes -->
+
+ <!-- isomorphic -->
+ <xsl:when test="$name='isomorphic'">
+ <xsl:apply-templates select="*[2]" mode="inline"/>
+ <a href="{*[1]/@definitionURL}">
+ <FONT color="green" FACE="symbol">
+ <xsl:text>@</xsl:text>
+ </FONT>
+ </a>
+ <xsl:apply-templates select="*[3]" mode="inline"/>
+ </xsl:when>