Symbol: prj_pt_eq_or_opp