do not prettify symbols by default