If I were to use a language like this, I'd use AutoHotKey to map certain strings to symbols. I already have several, e.g.

α = qalpha

β = qbeta

↑ = qup

∀ = qall

¬ = qnot

Since you read code more often than you write it, I think it is actually preferable to work with a language like this.