[codethief]

Ha, I've been using a very similar tool for years, both for emojis but also for math characters:

https://github.com/fdw/rofimoji