`[all packages] [package ] [class hierarchy] [index]`

# public class LaTeX

(source file: LaTeX.java)

    java.lang.Object
       |
       +----Printer
               |
               +----LaTeX

The pure class interface.

    public class LaTeX
      extends Printer

  A printer which uses LaTeX control sequences to control the formatting (useful for pretty-printing programs).

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/11

##

LaTeX(Printer)
  Create a new printer.

##

close()
printArrow()
printBold(String)
printItalic(String)
printLBrace()
printNewLine()
printOtimes()
printRBrace()
printRawString(String)
printRoman(String)
printSpace()
printSubscript(Printable)
printTypewriter(String)

##

LaTeX

    public LaTeX(Printer p);

  Create a new printer.

  Parameters:
    p - where to print to.

##

printRawString

    public void printRawString(String s);

printNewLine

    public void printNewLine();

printRoman

    public void printRoman(String s);

printItalic

    public void printItalic(String s);

printBold

    public void printBold(String s);

printTypewriter

    public void printTypewriter(String s);

printSubscript

    public void printSubscript(Printable p);

printSpace

    public void printSpace();

printLBrace

    public void printLBrace();

printRBrace

    public void printRBrace();

printArrow

    public void printArrow();

printOtimes

    public void printOtimes();

close

    public void close();

`[all packages] [package ] [class hierarchy] [index]`

###### LaTeX.html