coal gas

Noun
  1. gaseous mixture produced by distillation of bituminous coal and used for heating and lighting
coal gas
A worker carefully monitors the coal gas production in the factory.