diff --git a/docs/editor.md b/docs/editor.md
index b4f8ac2d889db6f486174f2d6b4bfc06501a09b7..993997cbb2450181ca3b9eb738d97a2cdb4dd5cb 100644
--- a/docs/editor.md
+++ b/docs/editor.md
@@ -698,4 +698,4 @@ let g:UltiSnipsExpandTrigger="<c-l>"
 ```
 To insert a unicode character, type its trigger word, such as `\forall` or `->`, and then press `<c-l>` while still in insert mode.
 
-To register most common unicode characters, put [this file](/docs/coq_latex.snippets) either at `~/.vim/UltiSnips/coq_latex.snippets` or `~/.config/nvim/UltiSnips/coq_latex.snippets`, depending on your preferred variant of Vim.
+To register most common unicode characters, put [this file](/docs/vim_ultisnips) either at `~/.vim/UltiSnips/coq_unicode.snippets` or `~/.config/nvim/UltiSnips/coq_unicode.snippets`, depending on your preferred variant of Vim.
diff --git a/docs/coq_latex.snippets b/docs/vim_ultisnips
similarity index 100%
rename from docs/coq_latex.snippets
rename to docs/vim_ultisnips