[Hackage] #520: Use nice Unicode characters for inequalities