require pretty-mode+; add symbols to pretty-mode+