diff --git a/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts b/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts
index df82a3a315..29414313d9 100644
--- a/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts
+++ b/services/web/frontend/js/features/source-editor/languages/latex/completions/data/environments.ts
@@ -58,6 +58,7 @@ export const environments = new Map([
   ],
   ['multline', snippet('multline')],
   ['multline*', snippet('multline*')],
+  ['proof', snippet('proof')],
   ['quote', snippet('quote')],
   ['split', snippet('split')],
   [