Symbol: is_not_monop