indentors

noun
  1. plural of indentor: tools or devices used to make dents, marks, or impressions in materials
  2. Usage: technical; manufacturing

Examples