Make sure pretty-symbol-mode is required before setting it as the global default.