Unicode's greek lambda

David Menendez dave at zednenem.com
Wed Nov 19 17:32:59 EST 2008


On Wed, Nov 19, 2008 at 5:24 PM, Duncan Coutts
<duncan.coutts at worc.ox.ac.uk> 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 <simonmar at microsoft.com>
>> >   * 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>


More information about the Glasgow-haskell-users mailing list