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

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