punzón de marcar

Sustantivo
  1. Herramienta metálica utilizada para marcar o grabar en superficies duras, como cuero o madera.
    El artesano usó el punzón de marcar para decorar el cuero.