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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe