Zippy the Pinhead was the unofficial internal Symbolics “mascot”.
Zippy Trivia: The legendary Space Cadet keyboard had parentheses on non-shifted keys, to make them easier to type. The big keys were labelled with a square, a circle, and a triangle. Jim Cherry, designer of hardware and CAD tools at Symbolics, famously named these “blockhead”, “roundhead”, and “pinhead”.