Firedamp is the ordinary term for the flammable gas that occurs in coal mines, which is such a source of danger from explosion.