add tex snippets