How to type the registered trademark symbol