does anyone have good resources to learn the notation? i could figure out basic things like
\math{((λ x . x) (λ a . a))}
but got filtered by 
\math{(((λ f . (λ x . (f x))) (λ a . a)) (λ b . b))}