Bell punch. See under Bell. -- Belt punch (Mach.), a punch, or punch
pliers, for making holes for lacings in the ends of driving belts. --
Punch press. See Punching machine, under Punch, v. i. -- Punch pliers,
pliers having a tubular, sharp- edged steel punch attached to one of
the jaws, for perforating leather, paper, and the like.
Punch, v. t. [imp. & p. p. Punched (?); p. pr. & vb. n. Punching.]
[From Punch, n., a tool; cf. F. poinÁonner.] To perforate or stamp with
an instrument by pressure, or a blow; as, to punch a hole; to punch
ticket.
Punching machine, or Punching press, a machine tool for punching holes
in metal or other material; -- called also punch press.
Punch"eon (?), n. [F. poinÁon awl, bodkin, crown, king-post, fr. L.
punctio a pricking, fr. pungere to prick. See Pungent, and cf. Punch a
tool, Punction.]