Symbol: RAS_NOT