more tex snippets and shortcuts