- As a syntax/language for mathematics, it's the actual standard. Do you think Terry Tao will bother learning some other language for his blog? You might as well argue that English is poorly-specified and the web should switch to Lojban.
- As a layout engine, it encodes all the damn typographical conventions that are in every single research article, academic journal and textbook. In the world.
Trying to replace TeX is so quixotic it makes Urbit sound pragmatic and down-to-earth. It's this whole scorched earth tradition. There just isn't any mathematics out there that uses anything but TeX.
- As a syntax/language for mathematics, it's the actual standard. Do you think Terry Tao will bother learning some other language for his blog? You might as well argue that English is poorly-specified and the web should switch to Lojban.
- As a layout engine, it encodes all the damn typographical conventions that are in every single research article, academic journal and textbook. In the world.
Trying to replace TeX is so quixotic it makes Urbit sound pragmatic and down-to-earth. It's this whole scorched earth tradition. There just isn't any mathematics out there that uses anything but TeX.