Tons of improvements to TeX snippets