Fricas supports several different output formats including TeX and MathML, which can be toggled and redirected independently. (There is some relatively recent w

Fricas supports several different output formats including TeX and MathML, which can be toggled and redirected independently. (There is some relatively recent work on that front, so changes are possible. I hope interfacing with Fricas programmatically will become nicer.) It's an ugly solution, but when an output expression is complicated enough that I want it nicely rendered, I copy the TeX output to, e.g., https://arachnoid.com/latex/ https://arachnoid.com/latex/ while removing the \leqno command and replacing \sp commands with carets (^).