Re: Q: text-quoting-style -- is its value a string or a symbol?

[John Wiegley]

>>>>> Eli Zaretskii <address@hidden> writes:

> It doesn't. It tells me it's a symbol. Why? because of the way it is quoted:
> with single quotes, not double quotes. Single quotes is how we mark symbols
> in doc strings.

Raman, When you say "reading the online documentation" in your original
report, do you mean the *Help* text, or the HTML generated for the manual? I
want to be sure we're all talking about the same thing.

If you see `foo' written (for example, in *Help*), it is always a symbol
(using either those characters, or fancy Unicode single quotes). As Eli says,
double-quotes are used to denote strings.

John