modified tex.snippets