Add some LaTeX snippets