Currently C++ symbols look like this:  It would be nice to be able to pretty-print them in the future.