∀

[mkohlhaas]

Could we add ∀ to Unicode.hs? I don't know how to do it. Should be pretty easy for the masters! :-)

Thanks for this very helpful formatter!