Pochopte už konečně, že matematické vzorce nejsou žádná sémantika. Respektive pokud nejste s to vydolovat tu "sémantiku" z TeXového zápisu, tak ji nejste s to korektně vložit ani do toho MathML. Matematický vzorec, pokud je korektně napsaný, vypovídá na základě pozic jednotlivých znaků a přítomnosti speciálních znaků o vztazích mezi veličinami, které ty znaky zastupují. Důležitá je opravdu především preciznost váše uvedeného, nic jiného.
Je sice možné, že takovýto vzorec nebude mít vypovídající hodnotu pro nevidomého, ale pro toho asi stejně bude důležitější nějaká hmatací grafická podoba, než nesmyslné blábolení nějakého překladače (třeba nad MathML). Asi daleko inteligentnější by byla možnost vložit kromě vzorce alternativní text, a protože něco podobného se dá udělat s obrázky, tak asi korektně vyrobený obrázek vzorce, doplněný vhodným textem pro nevidomé (je-li toho potřeba) bude asi nejvhodnější řešení.
MathML nikdo nezná a nepoužívá, právě proto, že existuje TeX a MathML je tudíž zcela zbytečný. Nezvládá ani to, co TeX, a nepřináší proti němu nic navíc. To, jestli si třeba horní index označíte deseti různými tagy, rozhodně žádným přínosem není.