Definition of electrographic pencil in US English:

electrographic pencil

noun

  • A pencil used to make electrically conducting marks that can be converted to machine-readable form (such as punched cards) for automated processing.

Origin

1940s.