Possible to replace symbols with their unicode equivalents?
Hi
Is it possible to have the formatter replace certain symbols with better looking unicode characters? For example:
-
forall
to∀
-
::
to∷
-
->
to→
-
<-
to←
-
=>
to⇒
-
<=
to⇐
Thanks