String Literals

[JG]

Hi,

The specification of string literals has either some errors or I 
don't understand what is meant by a Character.

For instance we have:

WysiwygString:
     r" WysiwygCharacters_opt " StringPostfix_opt

WysiwygCharacters:
     WysiwygCharacter
     WysiwygCharacter WysiwygCharacters

WysiwygCharacter:
     Character
     EndOfLine

Character:
     any Unicode character

Which to me means that e.g.
r"""
should be a WysiwygString, which the compiler thinks is not (not 
surprisingly).

Am I misunderstanding something?