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

[Wolfgang Jeltsch]

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