diff --git a/nvim/lua/lsp.lua b/nvim/lua/lsp.lua
index 3ca1cd3..5ada18c 100644
--- a/nvim/lua/lsp.lua
+++ b/nvim/lua/lsp.lua
@@ -1,5 +1,5 @@
 vim.g.coq_settings = {
-    --    auto_start = 'shut-up',
+    -- auto_start = 'shut-up',
     keymap = {
         eval_snips = "<Leader>se",
     },
@@ -245,7 +245,7 @@ vim.api.nvim_create_autocmd({ 'FileType',
 }, {
     pattern = "*",
     callback = function()
-        if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "latex" and
+        if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "late" and
             vim.bo.filetype ~= "qf" and vim.bo.filetype ~= "bib" and vim.bo.filetype ~= "" and vim.bo.filetype ~= "pdf"
             and vim.bo.filetype ~= "conf" then
             vim.cmd [[ :COQnow -s ]]
diff --git a/tex/tex-macros.sty b/tex/tex-macros.sty
index b8b1316..7d8fde7 100644
--- a/tex/tex-macros.sty
+++ b/tex/tex-macros.sty
@@ -30,3 +30,4 @@
 \DeclareMathOperator{\Log}{Log}
 \DeclareMathOperator{\Var}{Var}
 \DeclareMathOperator{\Cov}{Cov}
+\DeclareMathOperator{\supp}{supp}