HCl(aq) + HO ↔ HO(aq) + Cl(aq)