Here is an ELPA package for the pretty-mode.el library.
The code functionality is original from the author, I just tweaked the pretty symbols and packaged it up!
Here is one way to install it:
(url-copy-file
"https://www.wisdomandwonder.com/wp-content/uploads/2012/09/pretty-mode-plus-1.0.tar"
"/tmp/pretty-mode-plus-1.0.tar"
t)
(require 'package)
(package-install-file "/tmp/pretty-mode-plus-1.0.tar")
Addendum: 09/29/12
Fixed the package definition and now it is on Marmalade here.
Addendum: 11/29/12
Added Jess mode support.