Minor mode for redisplaying parts of the buffer as pretty symbols originally modified from Trent Buck's version at http://paste.lisp.org/display/42335,2/raw Also includes code from `sml-mode' See also http://www.emacswiki.org/cgi-bin/wiki/PrettyLambda to install: (require 'pretty-mode) and (global-pretty-mode 1) or (add-hook 'my-pretty-language-hook 'turn-on-pretty-mode)