Pentel Graph Gear 1000: https://www.jetpens.com/Pentel-Graph-Gear-1000-Drafting-Penc...
Best mechanical pencil I've ever used. You can tell a lot of thought has been put into every aspect of its design. The Rotring 800 is similarly well-designed, but I prefer the grip of the Pentel.