README: logical not is \neg