Symbol: mul_frac