English Dictionary
pencil
n : a thin cylindrical pointed implement for writing; a rod of
marking substance encased in wood
v : write, draw, or trace with a pencil; "he penciled a figure"
English Computing Dictionary
PENCIL
Pictorial ENCodIng Language. On-line system to display line
structures. Sammet 1969, 675.