There are different models of erasing knives. They are used mostly in the office to scrape pencil lines or ink stains from the paper.
See also penknife.
For more technical information see the dutch version of this page. [MOT]