public static Object NamedCharacterReader(TextReader textReader)
{
int c;
c = textReader.Read();
string s = ((Symbol)AtomReader(c, textReader)).Name;
if (s == "\\newline")
return '\n';
if (s == "\\space")
return ' ';
if (s == "\\tab")
return '\t';
// TODO: More character names here
return (char)(s[1]);
}