1、矸石:(1)采矿过程(开拓、掘进、剥离、回采)中,从井下或露天矿场开采出的或混入矿石中的岩石
2、矸子:(1)矸石的通称
1、煤矸石:(1)煤矿中无用的岩石
1、丹矸:朱砂。
2、南山矸:亦作“南山粲”。