1. You may use \ for the λ symbol, and ( and ) to group lambda terms.
  2. A space is required to denote application.
  3. The scope of abstraction extends to the rightmost.
  4. Application is left associative.
(λy.λz.z y) ((λx.x x x) (λx.x x x)) (λy.x x x)
___________________________________ _____________________