Added extra tex snippets.