[julia-users] Chars with ending double quotes

[Pablo Zubieta]

Is there a particular reason for the following to be valid Chars?

'\""'
'\"""' # or any number of "s
'\a"'
'\Ψ"""'

More generally the pattern '\[Any valid code point][Any number of "]' seems 
to be a valid Char.