Add some more latex snippets