rework tex snippets