a few more snippets and nicer tex highlighting