@dginev enlightened me today. We can make use of [cmath](http://ctan.mirrors.hoobly.com/macros/latex/contrib/stex/sty/cmath/cmath.pdf) from @kohlhase and him to generate cmml from semantic tex input.
@dginev enlightened me today. We can make use of cmath from @kohlhase and him to generate cmml from semantic tex input.