@startlatex
\lambda f x . f x
@endlatex
