X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_html_arith.xsl;fp=helm%2Fnuprl_stylesheets%2Fnuprl_html_arith.xsl;h=74cec306adad68356ae5b803ac8144d27058b562;hb=4e5d2321c182e908cd5e522605fcd6be237a1c0a;hp=995a23c75a4e5305902a9dd1520e00a34cd54e32;hpb=76ef6920890304b5c840d9869952f52c0263be73;p=helm.git

diff --git a/helm/nuprl_stylesheets/nuprl_html_arith.xsl b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
index 995a23c75..74cec306a 100644
--- a/helm/nuprl_stylesheets/nuprl_html_arith.xsl
+++ b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
@@ -22,56 +22,56 @@
 <!--leq-->
   <xsl:variable name="leq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xA3;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2264;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xA3;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2264;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--lt-->
   <xsl:variable name="lt">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&lt;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&lt; </xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&lt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&lt; </xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--geq-->
   <xsl:variable name="geq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xB3;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2265;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xB3;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2265;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--gt-->
   <xsl:variable name="gt">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&gt;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&gt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&gt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&gt;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--plus-->
   <xsl:variable name="plus">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">+</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">+</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">+</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">+</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--minus-->
   <xsl:variable name="minus">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">-</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">-</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">-</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">-</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--times-->
   <xsl:variable name="times">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">*</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2217;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">*</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2217;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>