Symbol: gen_neg