David Weaver
No, not aware of it, but it looks like it's worth finding. All I know of pencil history is that there was a shortage of graphite at one point.

I guessed at pencils having square leads in the past only because it would make s patty of graphite easier to make and cut. I'm going to track that book down. Thanks!