1.
hole punch; paper punch
a device for making holes in paper, typically for inserting into binders
A device used to punch holes in paper so it can be inserted into a ring binder or file. Standard in Japanese offices and schools.
Also called
- パンチ (punch) — abbreviated form, most common in speech
- 穴あけ器 (hole maker) — less common variant