Re: Unicode's greek lambda

On Wed, Nov 19, 2008 at 5:24 PM, Duncan Coutts wrote:

On Wed, 2008-11-19 at 15:01 +0000, Tony Finch wrote:

...

On Wed, 19 Nov 2008, Simon Marlow wrote:

...

Tue Jan 16 16:11:00 GMT 2007 Simon Marlow * Remove special lambda unicode character, it didn't work anyway Since lambda is a lower-case letter, it's debatable whether we want to steal it to mean lambda in Haskell source. However if we did, then we would probably want to make it a "special" symbol, not just a reserved symbol, otherwise writing \x->... (using unicode characters of course) wouldn't work, because \x would be treated as a single identifier, you'd need a space.

There are a number of mathematical lambdas in Unicode (distinct from teh Greek lambdas), but they are not in the basic multilingual plane and they are presumably not very easy to type :-)

Do you know what they are? I couldn't find any other than the greek lambda λ and the latin lambda with stroke ƛ.

They're listed under Mathematical Alphanumeric Symbols. http://www.unicode.org/charts/PDF/U1D400.pdf e.g., 1D6CC mathematical bold small lambda -- Dave Menendez http://www.eyrie.org/~zednenem/