Gas coke

the coke formed in gas retorts, as distinguished from that made in ovens.

See also: Coke