public override String ToString() { if (atomNeedsQuoting(atom)) { return "'" + escapeSpecialChars(atom) + "'"; } else { return atom; } }