double-jack [from its use in double-jacking, q.v.] Mining Edit