LatexToCNF
