Desejo inserir convenientemente símbolos Unicode, como letras em grego μ, ξ, ... e símbolos matemáticos, como ∀, ∃, ...
Usar o mapa de caracteres não é conveniente.
Eu preferiria digitar algo como \ delta e tê-lo convertido para δ pressionando TAB ou qualquer outra tecla similar a muitos editores do LaTeX.
O pano de fundo é que eu quero usar o eclipse para editar o código da Julia. Mas ser capaz de fazer isso com o sistema operacional é melhor do que fazer o eclipse fazer isso.
Autokey-gtk parece fazer o que eu quero. Mas eu não consigo fazer isso acontecer. Crasga toda vez que um evento é acionado.