1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index fd613ecc..d4a6288d 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -238,7 +238,7 @@ On Windows you might need something like:
 
 (defcustom coq-use-smie nil
   "If non-nil, Coq mode will try to use SMIE for indentation.
-SMIE is a navigation and indentation framework available in Emacs ≥ 23.3."
+SMIE is a navigation and indentation framework available in Emacs >= 23.3."
   :type 'boolean
   :group 'coq)