a small hand device used to sharpen pencils; a sharpener.