hard lead
noun
A lead alloy containing a small amount of antimony (which makes it harder than pure lead).
Origin
Late 17th century; earliest use found in John Pettus (c1613–1685), natural philosopher and politician. Originally after German †hart Bley.