Definition of red lead pencil in English:

red lead pencil

noun

  • A pencil containing red ochre or other red pigment.

Origin

Late 17th century; earliest use found in William Aglionby (d. 1705).