Not sure if its the same thing, but the first google search result for "tiny pencils" was this.

http://www.vippies.com/vippiesticks.htm