Symbol: log2_div