noun a small steel tool with a conical tip used to punch a small indentation at the location of the centre of a hole to be drilled