For the industrial drilling of holes through many sheets of paper, see
paper drilling. A hole punch (known also as a hole puncher, paper puncher or perforator) is a common
office tool, that is used to create holes in sheets of
paper, often for the purpose of collecting the sheets in a
binder.
See more at Wikipedia.org...