diff --git a/vimrc b/vimrc
index 03e5ae8..07e03b7 100644
--- a/vimrc
+++ b/vimrc
@@ -163,6 +163,7 @@ let g:haskell_conceal              = 0
 call tcomment#type#Define('nix', '# %s')
 call tcomment#type#Define('chaskell', '-- %s')
 call tcomment#type#Define('vala', '// %s')
+call tcomment#type#Define('tptp', '%% %s')
 
 au syntax tex setl iskeyword+=:
 au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>"