+<xsl:template name="mksymbol-init">
+ <xsl:param name="symbol" select="''"/>
+ <xsl:choose>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">
+ <xsl:variable name="fontsymbol">
+ <xsl:choose>
+ <xsl:when test="$symbol = 'and'">
+ <xsl:value-of select="'Ù'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'or'">
+ <xsl:value-of select="'Ú'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'eq'">
+ <xsl:value-of select="'='"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'neq'">
+ <xsl:value-of select="'¹'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'leq'">
+ <xsl:value-of select="'£'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'lt'">
+ <xsl:value-of select="'<'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'geq'">
+ <xsl:value-of select="'³'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'gt'">
+ <xsl:value-of select="'>'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'plus'">
+ <xsl:value-of select="'+'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'times'">
+ <xsl:value-of select="'*'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'divide'">
+ <xsl:value-of select="'/'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'minus'">
+ <xsl:value-of select="'-'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'not'">
+ <xsl:value-of select="'Ø'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'exists'">
+ <xsl:value-of select="'$'"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text>???</xsl:text>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:variable>
+ <FONT FACE="symbol" color="'blue'">
+ <xsl:value-of select="$fontsymbol"/>
+ </FONT>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:variable name="unicodesymbol">
+ <xsl:choose>
+ <xsl:when test="$symbol = 'and'">
+ <xsl:value-of select="'∧'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'or'">
+ <xsl:value-of select="'∨'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'eq'">
+ <xsl:value-of select="'='"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'neq'">
+ <xsl:value-of select="'≠'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'leq'">
+ <xsl:value-of select="'≤'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'lt'">
+ <xsl:value-of select="'< '"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'geq'">
+ <xsl:value-of select="'≥'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'gt'">
+ <xsl:value-of select="'>'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'plus'">
+ <xsl:value-of select="'+'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'times'">
+ <xsl:value-of select="'∗'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'divide'">
+ <xsl:value-of select="'/'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'minus'">
+ <xsl:value-of select="'−'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'not'">
+ <xsl:value-of select="'¬'"/>
+ </xsl:when>
+ <xsl:when test="$symbol = 'exists'">
+ <xsl:value-of select="'∃'"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text>???</xsl:text>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:variable>
+ <FONT color="'blue'">
+ <xsl:value-of select="$unicodesymbol"/>
+ </FONT>
+ </xsl:otherwise>
+ </xsl:choose>
+</xsl:template>
+
+