text: Formed fluoride ions remain in solution , with soluted compound after electrolysis being potassium fluoride .
simplified: Fluorine is normally made by electrolysis . Hydrogen fluoride is dissolved in potassium fluoride .