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

On Jan 9, 2008 3:17 PM, Cetin Sert <cetin.sert@gmail.com> wrote:

I want to design a DSL in Haskell for propositional calculus. But instead of using natural language names for functions like or, and, implies etc. I want to use Unicode symbols as infix functions ¬, ˅, ˄, →, ↔

I guess you can't do anything for ¬, as it is a prefix function. But for the others, what is wrong with e.g. (\/), (/\), (-->) and (<->)? You could write things like 'a /\ b --> c'. -- Felipe.