[Haskell-cafe] Problems with Unicode Symbols as Infix Function
Names in Propositional Calculus Haskell DSL
g9ks157k at acme.softbase.org
Wed Jan 9 16:29:28 EST 2008
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? :-)
More information about the Haskell-Cafe