Meaning of dot punch in English:

dot punch

noun

  • A tool similar to a centre punch but typically thinner, lighter, and having a sharper tip, used for marking the centre of a hole that is to be drilled, or (more generally) for making an indentation in the surface of an object.

Origin

Mid 19th century.