Added tex snippets.