From 8fa8df132f5fe3833cf964dcca3c929332a52fc6 Mon Sep 17 00:00:00 2001
From: Rob Church <robchurch@users.mediawiki.org>
Date: Thu, 12 Jan 2006 20:38:31 +0000
Subject: [PATCH] * (bug 2026) missing glue around \not= (TeX)

---
 RELEASE-NOTES   | 1 +
 math/texutil.ml | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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 "
-- 
2.20.1