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.