diff options
| -rw-r--r-- | coq/x-symbol-coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
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") |