indenter
/ɪnˈdɛntər/
noun
- A tool or device used to make a mark or dent in a surface, especially in hardness testing.
- The technician used a diamond indenter to test the hardness of the metal.
- An indenter is pressed into the material to measure its resistance.
- The machine's indenter left a small, precise mark on the sample.
- A person or thing that indents text or creates indentation.
- The text editor's indenter can be set to add two spaces per level.
- He worked as an indenter, preparing legal documents with proper margins.
- The software has an automatic indenter for code formatting.