among miners, a small punch of iron, with a long wooden handle, used to break up the ore.

One of the miners holds this in his hand, directing the point to a proper place, while the other drives it into the vein, by striking it with a sledge-hammer.