public interface _LatexSupport
_LatexCTreeFormatter
getLatexProofFormatter()
_LatexCTreeFormatter getLatexProofFormatter()