add some LaTeX snippets