Fix pretty symbols