TeX source:

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