LaTeX snippets, etc
Small improvements