同値の記法

$\neg\,(\,(\,\varphi\to\psi\,)\to\neg\,(\,\psi\to\varphi\,)\,)$ を $\varphi\leftrightarrow\psi$ と書く。