rofimoji

I have rofimoji[0] bound to a key chord in i3wm and configured it in such a way that it allows me to enter not just the usual emojis but also common math symbols. Works like a charm! [0]: https://github.com/fdw/rofimoji

Ha, I've been using a very similar tool for years, both for emojis but also for math characters: https://github.com/fdw/rofimoji

Some years back I wrote myself a small SublimeText extension to to pick & insert my favorite math characters but nowadays I prefer using rofimoji[0] because it is application-independent. [0]: https://github.com/fdw/rofimoji

I missed an emoji picker for Linux. I couldn't find anything that was not integrated into Gnome/KDE or maintained. So I set out to write one myself, just a simple Python script with rofi. I uploaded it to Github, because maybe someone else also wanted that. That was several years ago, and now [rofimoji] can do all UTF-8 characters (and custom ones), works on Wayland and is packaged for some distros. I'm so happy how my tiny project turned out and how many people helped with PRs and issues. [rofimoji]: https://github.com/fdw/rofimoji Professionally, I (and the whole team) lost track of our deployed artifacts, as we're not on a release schedule but also not really on continuous deployment. Mainly, we released when someone noticed that a release has been running stably on staging for a while. We also needed a way to ensure our configurations

I wrote myself a small plugin for Sublime Text that allows me to enter common math symbols as unicode characters by virtue of a selection popup. So, for instance, I hit Ctrl+m, type "subs" (for subset – it does fuzzy matching), hit enter et voilà, I get "⊂". Finally, math in LaTeX is no longer a pain to read! While it works very nicely, it's of course unavailable outside Sublime, so I've been looking for alternatives and came across the following projects: https://github.com/ibus/ibus (example: https://github.com/sphaerophoria/ibus-memebox) https://github.com/fdw/rofimoji/ Hopefully at some point I'll find the time to adapt them to my purposes.

And another character picker for Rofi: https://github.com/fdw/rofimoji/