Add tex snippets