Don't know whether this has been considered, but we at ProofWiki recently moved to MathJax as a LaTeX translation engine.

Might be worth considering to see whether you may get better joy with it.