Bob Denive wrote to tell me about ASCIIMathML, a system for using ASCII markup to create math formulas. There's a javascript program that does the conversion. I was aware of MathML (although not the ASCIIMathML variant), but like the greater flexibility of TeX. Admittedly that comes at a price.