updating tex snippets'