Gas coke Meaning, Definition & Usage

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

Webster 1913