indenters

noun
  1. plural of indenter: tools or devices that make dents, impressions, or indentations in materials
  2. Usage: technical; manufacturing
  3. plural of indenter: people who indent or format text with spaces or tabs
  4. Usage: computing; typography

Examples