Symbol: mul_n