明矾水解反应离子方程式中生成的氢氧化铝必须要写沉淀符号吗?