Adding some latex snippets