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

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index c23f16c..6d9b0e9 100644 (file)
--- 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 185ce5d..1df7533 100644 (file)
--- 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 "