Symbol: mul_add