Comment by linhchi

you just type the text "lambda". some editors (emacs, drracket) can automatically convert it to lambda the symbol.