How-to-Type-Degree-Symbol