TeXový zápis sémantický není proto, protože ho tak nikdo nenadefinoval. Kdyby se o to pokusil, zjistil by, že musí spoustu věcí přidat.
Zápis <power><ci>x</ci><cn>2</cn> je zápis mocniny, zápis ^2 je zápis horního indexu 2, což může znamenat druhou mocninu, poznámku pod čarou, izotop…
Co by MathML mělo řešit na trojtečce? Je to znak jako každý jiný. Můžete se podívat na konec předchozího odstavce.