A hole punch (known also as a holing pincer, hole puncher, hole maker, or rarely perforator, or paper puncher) is a common office tool that is used to create ...
en.wikipedia.org