Comment by chriswarbo

Seems similar to http://openmath.org e.g. https://www.omdoc.org/about/ https://kwarc.info/systems/sTeX