Symbol: mul_lower