at.logic.gapt.formats
LatexRenderer provides the user interface rendering logic for prooftool.
UnicodeToLatex contains a table of greek unicode symbols and their LaTeX equivalents.