+ <xsl:when test="$symbol = 'RightArrow'">
+ <xsl:value-of select="'Þ'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'subst'">
+ <xsl:value-of select="'¬'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'lift' or $symbol = 'lift_with_base'">
+ <xsl:value-of select="'­'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'beta_red' or $symbol = 'beta_red1'">
+ <xsl:value-of select="'®'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'beta'">
+ <xsl:value-of select="'b'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'par_beta_red' or $symbol = 'par_beta_red1'">
+ <xsl:value-of select="'Þ'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'isomorphic'">
+ <xsl:value-of select="'@'"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text>???</xsl:text>
+ </xsl:otherwise>