pure interface of class LaTeX

public class LaTeX
  extends Printer
{
    public LaTeX(Printer p);
    public void printRawString(String s);
    public void printNewLine();
    public void printRoman(String s);
    public void printItalic(String s);
    public void printBold(String s);
    public void printTypewriter(String s);
    public void printSubscript(Printable p);
    public void printSpace();
    public void printLBrace();
    public void printRBrace();
    public void printArrow();
    public void printOtimes();
    public void close();
}