Jan> Some others are (I have no idea why they are referenced as Jan> "lamda" instead of "lambda"):
See http://unicode.org/notes/tn27/ : "U+039B GREEK CAPITAL LETTER LAMDA U+03BB GREEK SMALL LETTER LAMDA * The use of the spelling lamda derives from ISO 10646. This does not mean that it is more correct than lambda, merely that the spelling without the 'b' is the one used in the formal character names." -- Colin Adams Preston Lancashire _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users