Symbol: pr_name