noun
: gas made from coal: as
a. : the mixture of gases thrown off by burning coal (as in the furnace of a house)
b. : the gas consisting chiefly of hydrogen and methane made by carbonizing bituminous coal in retorts and used for heating and lighting — see coke-oven gas