Comment by pbw

Does he use the symbol for lambda without saying how to type it or whether there's an ascii equivalent like "lambda"?