at.logic.gapt.formats.latex
UnicodeToLatex contains a table of greek unicode symbols and their LaTeX equivalents.
UnicodeToLatex contains a table of greek unicode symbols and their LaTeX equivalents.