Соляная кислота проявляет окислительные свойства при взаимодействии с различными металлами, которые стоят в электрохимическом ряду металлов (до водорода) с выделением газообразного кислорода и образованием соли.
Пример:
Кузов автомобиля, зачищенный до голого металла, далее смешать лимонный сок с солью (пропорции примерно 80% к 20%) и полить кузов автомобиля. Ржавчина появится очень быстро.
Формул несколько (если именно о появлении ржавчины идёт речь)