Methane released to the atmosphere from the ventilation systems of underground coal mines; because methane is a greenhouse gas, technologies have been developed to degasify the ventilation air by means of oxidation.