Which for me is another argument for not changing how `symbols' are
quoted, because then we can't differentiate between these two quite
distinct uses:
If I'm writing plain English and want to quote something for emphasis
I'll use 'single' quotation marks. If I'm writing elisp comments and
want to refer to a symbol, I'll use `symbol' quoting which gives it
the appropriate face in emacs-lisp-mode. Personally, I *want* those
two things to look different, because when I see `symbol' highlighted
in a comment it's telling me something about the code, rather than
merely providing emphasis.