diff --git a/vimrc b/vimrc
index 734793a..83cbe93 100644
--- a/vimrc
+++ b/vimrc
@@ -98,6 +98,8 @@ Plug 'LaTeX-Box-Team/LaTeX-Box'
 
 Plug 'nanotech/jellybeans.vim'
 
+Plug 'raichoo/smt-vim'
+
 call plug#end()
 
 filetype plugin indent on
@@ -137,6 +139,8 @@ let g:LatexBox_quickfix = 2
 call tcomment#DefineType('nix', '# %s')
 au syntax tex setl iskeyword+=:
 au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>"
+au syntax tex syn region texZone start="\\begin{tacticslisting}" end="\\end{tacticslisting}\|%stopzone\>"
+au syntax tex syn region texZone start="\\begin{tacticsoutput}" end="\\end{tacticsoutput}\|%stopzone\>"
 
 " better paragraph object for tex files FIXME
 call textobj#user#plugin('latexparagraph', {