矿丁

【意思解释】1.旧时对矿工的称呼。