TeX source:

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