TeX snippets