Adding more latex macros, and used one in index.html