tex and other snippets