Definition, synonyms and related words
A square-headed hammer with spikes used in stoneworking to either even the surface before polishing, or give it a pockmarked and weathered aspect.