public override void WriteTo(TextWriter output, int indent, bool asPrefix) { if (asPrefix) { output.Write("(" + Value + ")"); } else { output.Write(Value); } }