Fuente TeX:
\lambda P.\lambda u.\lambda v.\text{lent}'(P(u))(v)