A mixture of gases (mostly methane) that form in coal mines and become explosive when mixed with air English: firedamp