Symbol: pr_expand