enable pretty symbols