TeX source:
( p ∧ ( q ∧ r ) ) ⊣⊢ ( ( p ∧ q ) ∧ r )