TeX source:
¬ ( p ∨ q ) ⊣⊢ ( ¬ p ∧ ¬ q )