It is somewhat idiomatic to read it as TeX's \diamond symbol. Various papers set with Lhs2TeX use it for general composition operator (sometimes concat / mappend).
On 2 April 2012 10:05, Yves Parès <[email protected]> wrote: > Plus one might argue that using <> to mean different is a bad choice, as it > graphically means "strictly inferior or strictly superior" which implies > comparability, whereas equality and comparison are two different things. > (e.g. Eq and Ord are two distinct classes in Haskell). _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
