Smiling Face with Horns. Also known as the Happy Devil, Devil Horns, ... Alternate names include Sad Devil and Purple Goblin emoji, although (again) it's only purple in the iOS version.

As someone who's been spending serious time observing how people use emoji over the past few years, my hunch was no. But I wasn't able to prove it until a new Unicode dataset came out a few weeks ...