Symbol: ceq_to_ceqs