A colorless, pungent, irritating gas, CH20, used chiefly as a disinfectant and preservative and in synthesizing other compounds and resins.