<xsl:choose>
<!-- FORALL -->
<xsl:when test="$name='forall'">
- <FONT FACE="Symbol" SIZE="+2" color="blue">"</FONT>
+ <FONT FACE="Symbol" SIZE="+0" color="blue">"</FONT>
<xsl:apply-templates select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>
<xsl:apply-templates mode="inline" select="m:bvar/m:type"/>
<xsl:apply-templates mode="inline" select="*[position()=3]"/>
</xsl:when>
<xsl:when test="$name='prod'">
- <FONT FACE="Symbol" SIZE="+2" color="blue">Õ</FONT>
+ <FONT FACE="Symbol" SIZE="+0" color="blue">Õ</FONT>
<xsl:apply-templates mode="inline" select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>
<xsl:apply-templates mode="inline" select="m:bvar/m:type"/>
<xsl:when test="$name='arrow'">
<xsl:text>(</xsl:text>
<xsl:apply-templates mode="inline" select="*[position()=2]"/>
- <FONT color="blue" SIZE="+2" FACE="symbol">
+ <FONT color="blue" SIZE="+0" FACE="symbol">
<xsl:text>®</xsl:text>
</FONT>
<xsl:apply-templates mode="inline" select="*[position()=3]"/>
</xsl:when>
</xsl:choose>
<xsl:apply-templates mode="inline" select="."/>
- <FONT FACE="Symbol" SIZE="+2" mathcolor="green">Þ</FONT>
+ <FONT FACE="Symbol" SIZE="+0" mathcolor="green">Þ</FONT>
<xsl:apply-templates mode="inline"
select="following-sibling::*[position()= 1]"/>
</xsl:for-each>
</xsl:template>
<xsl:template mode="inline" match="m:lambda">
- <FONT SIZE="+2" color="red" FACE="symbol">l</FONT>
+ <FONT SIZE="+0" color="red" FACE="symbol">l</FONT>
<xsl:apply-templates select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>
<xsl:apply-templates mode="inline" select="m:bvar/m:type"/>
<xsl:choose>
<xsl:when test="$charlength > $framewidth">
<!-- Π -->
- <FONT FACE="Symbol" SIZE="+2" color="blue">"</FONT>
+ <FONT FACE="Symbol" SIZE="+0" color="blue">"</FONT>
<xsl:apply-templates select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>
<xsl:apply-templates select="m:bvar/m:type">
<xsl:when test="$name='prod'">
<xsl:choose>
<xsl:when test="$charlength > $framewidth">
- <FONT FACE="Symbol" SIZE="+2" color="blue">Õ</FONT>
+ <FONT FACE="Symbol" SIZE="+0" color="blue">Õ</FONT>
<xsl:apply-templates select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>
<xsl:apply-templates select="m:bvar/m:type">
<xsl:with-param name="current_indent" select="$current_indent + 2"/>
</xsl:call-template>
<!-- -> -->
- <FONT color="blue" SIZE="+2" FACE="symbol">
+ <FONT color="blue" SIZE="+0" FACE="symbol">
<xsl:text>®</xsl:text>
</FONT>
<xsl:apply-templates select="*[position()=3]">
</xsl:otherwise>
</xsl:choose>
<xsl:apply-templates select="."/>
- <FONT FACE="Symbol" SIZE="+2" mathcolor="green">Þ</FONT>
+ <FONT FACE="Symbol" SIZE="+0" mathcolor="green">Þ</FONT>
<xsl:apply-templates select="following-sibling::*[position()= 1]">
<xsl:with-param name="current_indent" select="$current_indent + 4 + string-length()"/>
</xsl:apply-templates>
<xsl:choose>
<xsl:when test="$charlength > $framewidth">
<!-- λ -->
- <FONT SIZE="+2" color="red" FACE="symbol">l</FONT>
+ <FONT SIZE="+0" color="red" FACE="symbol">l</FONT>
<xsl:apply-templates select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>
<xsl:apply-templates select="m:bvar/m:type">