Updated tex snippets