Homotopy Type Theory Mathematical Symbols