Adding some more standard utf8 symbols to indentation operator. We

really need some "operator" recognition here.

1 files changed, 3 insertions, 1 deletions

diff --git a/coq/coq-smie-lexer.el b/coq/coq-smie-lexer.el
index 6a71cda8..1e3eebbf 100644
--- a/coq/coq-smie-lexer.el
+++ b/coq/coq-smie-lexer.el
@@ -279,7 +279,7 @@ The point should be at the beginning of the command name."
 	  (concat tok newtok)))
        (t (save-excursion (coq-smie-backward-token))))) ;; recursive call
      ((member tok
-	      '("=>" ":=" "+" "-" "*" "exists" "in" "as" "∀" "∃" "→" ";" "," ":" "eval"))
+	      '("=>" ":=" "+" "-" "*" "exists" "in" "as" "∀" "∃" "→" "∨" "∧" ";" "," ":" "eval"))
       ;; The important lexer for indentation's performance is the backward
       ;; lexer, so for the forward lexer we delegate to the backward one when
       ;; we can.
@@ -468,6 +468,8 @@ The point should be at the beginning of the command name."
 	   "quantif exists"))
      ((equal tok "∀") "forall")
      ((equal tok "→") "->")
+     ((equal tok "∨") "\\/")
+     ((equal tok "∧") "/\\")
 
      ((equal tok "with") ; "with" is a nightmare: at least 4 different uses
       (save-excursion (coq-smie-with-deambiguate)))