miner's dial


noun Mining, Surveying.