Correct order for picking pritty printer toMathML and toHTML and ppMathML