every single instance of a character name in the manual has the trademark symbol