Symbol: O_LNOT