λ.......

etc

ほら色々あるんだよ。λ計算とかさ。