gang punch
now chiefly historical
noun
A punch capable of punching holes or perforations into multiple objects (especially cards) in one operation.
Origin
Mid 19th century.
- extension lead
- extension tube
- extensive
- extensively
- extensiveness
- extensometer
- extensor
- extensor muscle
- extent
- extenuate
- extenuation
- extenuatory
- exterior
- exterior angle
- exteriorise
- exteriority
- exteriorization
- exteriorize
- exteriorly
- exterminate
- extermination
- exterminator
- exterminatory
- extern
- external