TeX source:

( ( p ∧ q ) → r ) ⊢ ( p → ( q → r ) )