a small cartoon character with horns and a hat