Some prettification

How to display symbols / variables?