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