Delete some tex snippets