Symbol: qed_eq_prod_update