Drop itexToMML, bring in mtexToMML