indenter
/ˈɪndɛntər/Definitions
1. noun
a person or device that makes a mark or impression on something, especially in a printing press.
“The indenter was used to create the embossed effect on the metal plate.”
2. verb
to press or mark something, especially with a device or tool.
“The technician had to indent the surface to make the repair.”