Symbol: pr_exp