My favorite pencil by far: Papermate Clear Point. They make .5mm and .7mm versions. The button that extends the lead is on the side, not on the top. The eraser is about an inch long, and the top twists to extend it. The part you hold has rubber strips for gripping.