Symbol: tx_div