I have a lambda expression that have a white space. I just don\'t know about that case how to do.
(λy.λz.λz.z y t) k (λx.x)
The above one is
