From: Rob Church <robchurch@users.mediawiki.org>
Date: Thu, 12 Jan 2006 20:38:31 +0000 (+0000)
Subject: * (bug 2026) missing glue around \not= (TeX)
X-Git-Tag: 1.6.0~590
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/operations/recherche.php?a=commitdiff_plain;h=8fa8df132f5fe3833cf964dcca3c929332a52fc6;p=lhc%2Fweb%2Fwiklou.git

* (bug 2026) missing glue around \not= (TeX)
---

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index c23f16c094..6d9b0e98fd 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -469,6 +469,7 @@ fully support the editing toolbar, but was found to be too confusing.
 * (bug 3502) Bowtie symbol for TeX
 * (bug 4000) Support for \textstyle et al. in <math>
 * (bug 1663) support color in TeX formulas
+* (bug 2026) missing glue around \not= (TeX)
 
 
 === Caveats ===
diff --git a/math/texutil.ml b/math/texutil.ml
index 185ce5d7d6..1df7533eaa 100644
--- a/math/texutil.ml
+++ b/math/texutil.ml
@@ -435,7 +435,7 @@ let find = function
     | "\\ddot"             -> FUN_AR1 "\\ddot "
     | "\\breve"            -> FUN_AR1 "\\breve "
     | "\\tilde"            -> FUN_AR1 "\\tilde "
-    | "\\not"              -> FUN_AR1 "\\not "
+    | "\\not"              -> LITERAL (TEX_ONLY "\\not ")
     | "\\choose"           -> FUN_INFIX "\\choose "
     | "\\atop"             -> FUN_INFIX "\\atop "
     | "\\binom"            -> FUN_AR2 "\\binom "