A pointed instrument for making holes, a punch.

A tool which, by repeated sudden impact or by continuous pressure, is used for pricking, piercing, or perforating something, or for enlarging an…

A punch, an instrument for punching holes.

A thing that punches something, esp. an instrument, tool, or machine for punching; a person who punches something or someone.

A sharp, fine-pointed steel punch used by stoneworkers and sculptors. Obsolete.

Masonry. (In form pummel.) A square-faced tool used as a punch.

A punch used to cut keys.

A portable device for punching holes in sheet metal. Obsolete.

(see quot. 1884).

A device that automatically produces punched cards representing the output of a tabulator.