TeX-related snippets.