Symbol: mult_frac