emacs: Use Cambria Math for Isabelle symbols.
zsh: Allow up/down searching through history matches.

Courtesy of Raf.
term: Rewrite to preference rxvt over pterm.
Add .Xdefaults from Raf for rxvt.
Add fonts.conf from Raf.