I think Google's Chrome team's choices of priorities bear a significant portion of the blame for this. They refused to implement MathML for the longest time, and even when it was implemented, it was partly done and financed by a third party. Without MathML, LaTeX-to-HTML JavaScript hacks became the norm, solidifying LaTeX as the standard even for non-typesetting use cases. Had MathML been implemented by Chrome early on, a more direct and easier translation from something ASCII-like to MathML would likely have been adopted.
Both Apple and Google need to be disrupted here. We should be able to see lots of healthy verticals for every single one of these product categories. They shouldn't accrue to two players and be impossible to dislodge.
I propose the word "Googolith" to describe {Google, Apple, Amazon}, though it's not a great attempt. We do need some kind of word or language to describe these anti-competitive titans that are impossible to innovate against. The word "monopoly" gets shut down, but the control they wield may as well be monopolistic. There's no choice and there's no competing. They're practically nation states.