連言の記法

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