Symbol: rdiv