Adds tex snippets