race knife

noun1

1. •
   A kind of knife hooked at the point, used for marking outlines on metal, wood, etc.

   • Trees intended for felling should be plainly and legibly numbered, in consecutive order, with white paint, the surface of the outer bark being smoothed with a race knife for this purpose. — 1859