gas detector


gas detector

[′gas di‚tek·tər] (mining engineering) A device which indicates the existence of firedamp or other combustible or noxious gas in a mine.