Added support for nice LaTex formatting of output formulas