\negA to \neg A