redesign LaTeXStringBuilder using LaTeXFormulaFormatter