diff --git a/src/vim/ftdetect/lean.vim b/src/vim/ftdetect/lean.vim
index 128caeb3b..9c7873a29 100644
--- a/src/vim/ftdetect/lean.vim
+++ b/src/vim/ftdetect/lean.vim
@@ -1,2 +1 @@
-au BufRead,BufNewFile *.ilean set ft=lean
 au BufRead,BufNewFile *.lean set ft=lean
diff --git a/src/vim/syntax/lean.vim b/src/vim/syntax/lean.vim
index a67965d8f..ba49d29a4 100644
--- a/src/vim/syntax/lean.vim
+++ b/src/vim/syntax/lean.vim
@@ -39,7 +39,7 @@ syn match leanOp        ":"
 syn match leanOp        "="
 
 " constants
-syn keyword leanConstant # @ -> ∼ ↔ / == := <-> /\\ \\/ ∧ ∨
+syn keyword leanConstant "#" "@" "->" "∼" "↔" "/" "==" ":=" "<->" "/\\" "\\/" "∧" "∨"
 syn keyword leanConstant ≠ < > ≤ ≥ ¬ <= >= ⁻¹ ⬝ ▸ + * - / λ
 syn keyword leanConstant → ∃ ∀