TeX source:
( p → q ) ⊣⊢ ( ¬ q → ¬ p )