void WriteDoc(string text)
{
foreach (char c in text) {
switch (c) {
case '&': Write("&"); break;
case '<': Write("<"); break;
case '>': Write(">"); break;
case '\n': WriteLine(); Write("/// "); break;
default: Write(c); break;
}
}
}