Al2O3 + 6HF `overset(t)(=)` 2AlF3 + 3H2O
K2CO3 + 2HF = 2KF + H2O + CO2↑
HF + NaOH = NaF + H2O
HF + KOH = KF + H2O
Ba(OH)2 + 2HF = BaF2↓ + 2H2O
LiOH + HF = LiF↓ + H2O
Li2CO3 + 2HF = 2LiF↓ + H2O + CO2↑
Ca(OH)2 + 2HF = CaF2↓ + 2H2O
Na2CO3 + 2HF = 2NaF + H2O + CO2↑
Al(OH)3 + 3HF = AlF3↓ + 3H2O