The statement is still valid as long as it is understood that in an aqueous solution the substances involved are subject to dissociation, which changes the substances ionization state. The arrow sign, →, is used because the reaction is complete, that is, the said neutralization is a quantitative reaction. A more general definition is based on Brønsted–Lowry acid–base theory.