A file that can be read into Maple, which having done so will enable Maple to better produce the LaTeX for Tarski formulae, 'TarskiFormula' type enabled by the package 'QuantifierElimination'. Hence the Maple inbuilt 'latex' will produce better LaTeX for such formulae.