Homotopy Type Theory Mathematical Symbols Latex