less ambitious use of AttributedString, for proper caret painting within \<^sup>\<foobar>;