TeX source:

( p ∨ ( q ∨ r ) ) ⊣⊢ ( ( p ∨ q ) ∨ r )