From a5eb24c63329236dd428627f9567b69758cbbaf0 Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 21 Feb 2003 13:18:42 +0000
Subject: [PATCH] * the minus sign is now mapped to the right Unicode character
 ant not   to the dash -

---
 helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
index f9a7e6907..8c9b8ead1 100644
--- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
+++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
@@ -69,6 +69,17 @@
     </m:mo>
   </xsl:template>
 
+  <xsl:template match="tml:o[@val='-']">
+    <m:mo>
+      <xsl:if test="@id">
+        <xsl:attribute name="xref">
+          <xsl:value-of select="@id"/>
+        </xsl:attribute>
+      </xsl:if>
+      &#x2212;
+    </m:mo>
+  </xsl:template>
+
   <xsl:template name="cursor">
     <xsl:choose>
       <xsl:when test="substring(@val,1,1)='\'">
-- 
2.39.2