Belt punch

(Mach.) a punch, or punch pliers, for making holes for lacings in the ends of driving belts.

See also: Punch

Webster's Revised Unabridged Dictionary, published 1913 by G. & C. Merriam Co.
References in periodicals archive ?
Ken, who was presented with rare photos of the 1972 fight in New York showing the infamous below the belt punch in the 13th round which stopped the Scot, admitted he was not surprised by Duran's no-show.