On: Try APL

[dharmaturtle]

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.

[anthk → dharmaturtle]

vi/nvi/vim has the :ab command with does literally that on typing.

In ~/.exrc/.vimrc

    ab qalpha α
    ab qbeta β 
    ab qup ↑
    ab qall ∀ 
    ab qnot ¬

Also, for rlwrap users:

https://github.com/utkarshkukreti/apl-inputrc