UNICODEvsSYMBOL introduced everywhere. (work completed)

[helm.git] / helm / style / html_reals.xsl

diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 9d49b1305edfa2287b4d9fdacf1b7515b4e29573..32c81792704447a2eef7bdf3716ceb997696a206 100644 (file)
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,6 +32,42 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
+<xsl:template name="mksymbol-reals">
+ <xsl:param name="symbol" select="''"/>
+  <xsl:choose>
+   <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">
+    <xsl:variable name="fontsymbol">
+     <xsl:choose>
+      <xsl:when test="$symbol = 'leadsto'">
+       <xsl:value-of select="'&#174;'"/>
+      </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 = 'leadsto'">
+       <xsl:value-of select="'&#8594;'"/>
+      </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>
+
 <!-- **************************************************************** -->
 <!--                   INLINE MODE                                    -->
 <!-- **************************************************************** -->
@@ -48,7 +84,9 @@
      </a>
      <SUB>
       <xsl:apply-templates select="m:bvar/m:ci"/>
-      <FONT FACE="symbol" mathcolor="blue">&#174;</FONT>
+      <xsl:call-template name="mksymbol-reals">
+       <xsl:with-param name="symbol" select="'leadsto'"/>
+      </xsl:call-template>
       <xsl:apply-templates mode="inline" select="m:lowlimit"/>
      </SUB>
      <xsl:apply-templates mode="inline" select="*[4]"/>
@@ -161,7 +199,9 @@
      </a>
      <SUB>
       <xsl:apply-templates select="m:bvar/m:ci"/>
-      <FONT FACE="symbol" mathcolor="blue">&#174;</FONT>
+      <xsl:call-template name="mksymbol-reals">
+       <xsl:with-param name="symbol" select="'leadsto'"/>
+      </xsl:call-template>
       <xsl:apply-templates select="m:lowlimit"/>
      </SUB>
      <BR/>