Etymology
Today it means: A pointed steel punch, to puncture a mark on sheet metal. Full definition →
From prick + punch.
Etymology from Wiktionary, CC BY-SA 4.0.