It would be nice if I could type \alpha<TAB> had have it autoconvert to Ξ±. The Julia REPL does this and there is a Sublime Text plugin that does the samething.
This makes my LaTeX source much easier to read, instead of having:
\forall d \in \mathcal{A}, \mathcal{M}, \mathcal{a}[x \rightarrowtail d]
I can just write:
βd β π, β³, πΆ[x β£ d]