下列符号分别代表大雨、冰雹、霜冻和雾等四种现象，其中主要通过凝华形成的是（　　）