Switch to HTML TM symbol.