|,\lnot