paper punch; hole punch
A stationery tool for punching holes in paper, typically for filing in binders.
Please punch holes in the documents with a paper punch before filing them.
Variant with a middle dot; less common in everyday writing.
Loanword from English 'paper punch'.