Symbol: div_m