@jmhodges Wow. TIL! I have been using Apple’s text-replacement preferences to convert " TM " into "™" for *years*!