Formatting tweaks

- Changed font to Adobe Text Pro
- Cleaned up diagrams
- Cleaned up Haskell code
Futzing with Greek fonts and symbols

Changed |omega| to a weierstrass p