Symbol: TM_NOT