Proton exchange in a solution of hydrofluoric acid
(Conceptual diagram)