Symbol is a compiler wrapper and a set of editor plugins allowing you
to easily use Greek letters, accents, and other Unicode symbols in any
programming language.
Screenshot:
Usage:
$ symbol.py gcc file1.c file2.c -o my_program
Entering Unicode:
Entering Unicode characters in source code is easier than one might expect.
Emacs:
You can use our Emacs plugin for TeXmacs-style cycling through alternates of a given key: a -> α -> a. With this, a single keystroke converts "a" into "α" (and another converts "α" back to "a").