More TeX snippets.