Symbol: pl_to_div