Symbol: mergeq_add