用符号表达式来表示生活中的化学反应，并写出反应类型。