punzón de grabar

Sustantivo
  1. Herramienta metálica con punta afilada utilizada para grabar o marcar superficies duras.
    El artesano utilizó un punzón de grabar para decorar el cuero.