added tex snippets