Symbol: div_q