Context on https://github.com/ampproject/amphtml/blob/master/extensions/amp-mathml/amp-mathml.md
Probably best to wait for #17038 and #17039 to be closed before we proceed.