From cc2c3ff61afc420317b7bc9ac1e246fc0a03c836 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 16 Apr 2004 12:20:24 +0000
Subject: modified the noteq token (become '<>' ).

---
 coq/x-symbol-coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el
index 90cf657c..d37d859a 100644
--- a/coq/x-symbol-coq.el
+++ b/coq/x-symbol-coq.el
@@ -267,7 +267,7 @@ See `x-symbol-language-access-alist' for details."
     (dotequal "doteq")
     (wrong "wrong")
     (equivalence "<->")
-    (notequal "noteq")
+    (notequal "<>")
     (propersqsubset "sqsubset")
     (reflexsqsubset "sqsubseteq")
     (properprec "prec")
-- 
cgit v1.2.3