Re: [Haskell-cafe] Problems with Unicode Symbols as Infix Function Names in Propositional Calculus Haskell DSL

Am Mittwoch, 9. Januar 2008 18:24 schrieb Felipe Lessa:

[…]

But for the others, what is wrong with e.g. (\/), (/\), (-->) and (<->)?

These are not the true symbols. They look ugly compared to the real ones. Nice typography is a great thing!

You could write things like 'a /\ b --> c'.

With Cetin’s approach you could write things like “a ∧ b → c”. Doesn’t this look a lot better? :-) Best wishes, Wolfgang