Dropping pretty-mode, I teach way more to keep this.

.emacs

@@ -220,29 +220,5 @@
  ;; If there is more than one, they won't work right.
  )
 
-(when (require 'pretty-mode nil t)
-  (global-pretty-mode t)
-  (pretty-deactivate-groups
-   '(:equality :ordering :ordering-double :ordering-triple
-               :arrows :arrows-twoheaded :punctuation
-               :logic :sets))
-
-  (pretty-activate-groups
-   '(:sub-and-superscripts :greek :arithmetic-nary))
-
-  (global-prettify-symbols-mode 1)
-  )
-
-(add-hook
- 'python-mode-hook
- (lambda ()
-   (mapc (lambda (pair) (push pair prettify-symbols-alist))
-         '(;; Syntax
-           ("in" .       #x2208)
-           ("not in" .   #x2209)
-           ("int" .      #x2124)
-           ("float" .    #x211d)))))
-
-
 (provide `.emacs)
 ;;; .emacs ends here