Eraser pencil for ballpoint pen, writing and drawing inks. price is for 3 x eraser pencil. With brush.
eBay