Paper Punch, also known as a Hole Punch or a Craft Punch, is a common office and school equipment. A Paper Punch is a tool for punching holes in paper that are neat . A hole punch creates large enough holes to allow documents to be inserted into a binder.