More tex snippets.