Update README.md's REPL pretty-printing symbols