punzón

1. Instrumento de hierro que remata en punta, que sirve para abrir ojetes y para otros usos.

2. Buril (instrumento para grabar).

3. Pitón (cuerno que recién aparece).

4. Instrumento de acero algo romo, que en la boca tiene grabada una figura que, aplicándola y dando golpe sobre cualquier materia, deja estampado en ella profundamente lo que en él está de realce..

5. Llave de honor que llevaban en la cartera derecha de la casaca ciertos empleados de palacio, y de la cual solo se descubría el anillo..