diff --git a/home/rachel.nix b/home/rachel.nix
index c065653..852bd06 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -204,7 +204,7 @@ in
         let g:lightline = { 'colorscheme': 'gruvbox' }
         colorscheme gruvbox
         hi Normal guibg=NONE ctermbg=NONE
-
+        let g:cornelis_agda_prefix = "!"
         runtime agda-input.vim
 
         au BufRead,BufNewFile *.agda call AgdaFiletype()