Don't prettify symbols