gravers

noun
  1. plural of graver; tools with sharp points used for engraving or carving

Examples