This seems more a complement to latex. At the moment it generates svgs. But these can use TeX math via mathjax, and the internal representation is quite straigh

This seems more a complement to latex. At the moment it generates svgs. But these can use TeX math via mathjax, and the internal representation is quite straightforward. It seems like it would not be much work to add a way to output as eg tikz (or rather, pgf) to this. It could probably output something more low-level too