Symbol: tdq_add