Quoted strings
==============
A quoted string is a sequence of characters surrounded by the quotes
``' and `'', where the number of start and end quotes within the string
balances. The value of a string token is the text, with one level of
quotes stripped off. Thus
`'
is the empty string, and
``quoted''
is the string
`quoted'
The quote characters can be changed at any time, using the builtin
macro `changequote'. Note:Changequote for more information.