汉字:「矿」在《汉字字源》中的解释