K>>Например, для программирования тоже придумывали множество систем, чтобы писать программы перетаскиванием блоков и стрелочек. Но в основной массе это не взлетело — неудобно (а для похожей смежной задачи, если нужно не программирование, а моделирование — вполне себе взлетает).

Ops>Для программирования есть очень много чего: в двоичном коде не пишет никто, на ассемблере очень мало, а сам код, манипулирующий абстракциями, скрывающими многие тысячи примитивных команд, раскрашивается, форматируется и дополняется на лету, без всякой дополнительной метаинформации.

Так для TeXа есть примерно все то же самое — и наборы из многих прмитивных команд можно завернуть в свою абстракцию, и подсветку синтаксиса в редакторах можно включить. Более того — редакторы кода из многие из обычных IDE можно в принципе настроить на редактирование ТеХа (я на практике таким не пользовался, но теоретически можно).