矿丁

　　矿丁（汉语拼音：kuàng dīng ），旧时对矿工的称呼。