public abstract class Printer
{
public Printer();
public abstract void printRawString(String s);
public void printString(String s);
public void printNewLine();
public void printRoman(String s);
public void printBold(String s);
public void printItalic(String s);
public void printTypewriter(String s);
public void printSpace();
public void printLBrace();
public void printArrow();
public void printRBrace();
public void printOtimes();
public void printSubscript(Printable p);
public void printArray(Printable[] Ps,
String separator);
public void print(Printable p);
public void printA(Printable p);
public void printB(Printable p);
public void newLine();
public void indent();
public void outdent();
public void close();
}