Mikie
Но я-то по возможности стараюсь оставлять совместимость! Просто потому, что пользуюсь созданной другими инфраструктурой.

Ну ок, это ты. Я так не делаю, потому что если я подключаю чужие библиотеки, я не обязан оперировать ровно теми же функциями и типами, что экспортируют модули. Я могу строить своё. И обычно строю, каким бы чуждым оно кому-нибудь не показалось. Обычно это затрагивает и стиль кода, да. Мне пока не сложно говорить на двух языках: общем и своём. (может это потому, что я мало говорю на первом:)

Если вернуться к сабжу, то можно отметить, что использование юникодовых мнемоник сохраняет и совместимость, и читабельность. В конце-концов, всегда можно регекспами пройтись по исходникам:)

А может (хотя и так маловероятно, эх) там были технические возможности, а?

Емаксеры и вимеры смотрят с недоумением.

Marlagram, однако, разные бывают извращения.

Всё есть лисп. И немножко перл. Остальное - извращения.

У тебя странные представление о программистах и математиках.

Между тем, вроде как на Agda более менее весь код так выглядит. И для этого, понятное дело, есть плагин под Емакс, делающий набор с клавиатуры таки удобным. Я сам не пользовался, но вроде там что-то в духе того, что пишешь ты какое-нибудь "\alpha", и оно заменяется на альфу.