Well actually, they are called lead holders… I work in architecture and have a ton of different ones and different types of 2mm lead. I have not used an actual pencil in like 30 years.