Punch, n.
1. A tool, usually of steel, variously shaped at one end for different uses, and either solid, for stamping or for perforating holes in metallic plates and other substances, or hollow and sharpedged, for cutting out blanks, as for buttons, steel pens, jewelry, and the like; a die.
2. Pile Driving An extension piece applied to the top of a pile; a dolly.
3. A prop, as for the roof of a mine.
Bell punch. See under Bell.
Belt punch Mach., a punch, or punch pliers, for making holes for lacings in the ends of driving belts.
Punch press. See Punching machine, under Punch, v. i.
Punch pliers, pliers having a tubular, sharp-edged steel punch attached to one of the jaws, for perforating leather, paper, and the like.