jenkin

/ˈd͡ʒɛŋ.kɪn/

Etymology

Either transferred from the surname Jenkins or derived from the medieval given name Jankin, the pet form of Jan.

name

A male given name from Hebrew.
An English surname transferred from the given name, variant of Jenkins, especially in the south-west of England

noun

A narrow excavation driven through a pillar of coal.“A jenkin is then carried up the pillar alongside the old bords […]”