engraving tool; carve, engrave
juān