This is something that is used and talked about quite often with Haskell, because the languages roots in Category theory, predicate logic, etc. You can use the

This is something that is used and talked about quite often with Haskell, because the languages roots in Category theory, predicate logic, etc. You can use the more accurate mathy Unicode symbols in place of the ASCII and ghc can interpret them correctly http://hackage.haskell.org/trac/haskell-prime/wiki/UnicodeInHaskellSource http://hackage.haskell.org/trac/haskell-prime/wiki/UnicodeIn...