Brewer's: Diamond Hammer
(A). A hammer or pick for “whetting” millstones. The diamond hammer is provided with several sharp-pointed teeth to give a uniform roughness to the surface of the stone. Also to a steel pick with diamond-shaped point at each extremity, to recut grooves in stone.