Symbol: aeq_to_aeqs