TeX source:

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