JuliaLang/julia — pull request #6911 by stevengj (2014-05-21 20:27:54+00:00)
Title: RFC: tab substitution of LaTeX symbols in REPL

This patch allows you to type things like `\alpha` in the REPL to get `α` (as discussed in #6340).

Currently, you have to type out the whole LaTeX symbol....it seemed to complicated to begin with to support a two-level completion scheme where you could get a list of LaTeX symbols with a given prefix.

The list of substitutions is automatically generated from the [W3C LaTeX/Unicode mapping](http://www.w3.org/Math/characters/unicode.xml).