TeX source:
p ⊣⊢ ¬ ¬ p