Converts a formula into a LaTeX interpetable string.
Converts a formula into a LaTeX interpetable string. Types are not printed.
the lamba expression to format
if set, then the expression will not be put into parenthesis. otherwise it will be, unless it is an atom.
a string with the LaTeX coode to render t
LatexRenderer provides the user interface rendering logic for prooftool.