More tex snippets