Enable symbol prettification

Enable symbol prettification (replacing a string like "lambda" with
the Greek lambda character).