What is "hole punch"

n. A tool that is used to make holes in stationery for ease of filing vb. To punch holes using a hole punch.

A hole punch (also known as a hole puncher) 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 or folder. A leather punch, of different construction from one designed for paper, is used for leather goods, cloth, or thin plastic sheeting. Hole punch tools are also made for use on sheet metal, such as aluminum siding or metal air ducts.