punched (Scope note)

This term is a method of decorating surfaces with a pointed tool.