The tapered metal tool used to make indentations, called punch marks, in the backgrounds of panel paintings and metal, wood, and gilded gesso surfaces. The decorative patterns formed by the punch dramatize features, such as haloes.