Symbol: mul_step