The MathML standard is split into two parts, Presentation MathML, which is widely used and contains roughly the same information as TeX, and Semantic MathML whi

The MathML standard is split into two parts, Presentation MathML, which is widely used and contains roughly the same information as TeX, and Semantic MathML which is used by a handful of computer algebra systems. The latter does what you want. Both formats have their origins in Wolfram Mathematica.