prettify symbols (but only when it's available)