Comment by asdf_snar

Seconded. This looks like a fun toy, but it solves a problem that I don't have (and I believe I am the target audience). Modern typesetters are very good (e.g., TexMacs). There is also a limited set of characters by design, and I would have to remove my hand from my keyboard only for those.