Use the utf-8 character, similarly than @exclamdown or @pounds. For our xref node name proposal, sure. But for Info output, right now there is no utf-8 (or Latin 1, for that matter) output at all.
_______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
