λP
$ \lambda\Pi
とも表記する
https://en.wikipedia.org/wiki/Dependent_type#First_order_dependent_type_theory