I usually find the default colors of quoted
symbols not distinctive enough in Info (see
first attachment).

How about giving it some color? (see 2nd
attachment)

The color (firebrick) is just an example
to illustrate the difference.

What do you think? Is it better?