tex snippets added