Added a filetype plugin for TeX.