Symbol: isnot_monop