@verytiredrobot It's just MathJax, really - I get mathjax to lay out TeX in SVG, then replace each of its symbols with a single-stroke version I traced over the original.
I considered just doing a straight DVI to SVG conversion, but I only really want maths layout