Since there is a unicode discussion the next thread over (https://news.ycombinator.com/item?id=23524400 https://news.ycombinator.com/item?id=23524400), I though

Since there is a unicode discussion the next thread over (https://news.ycombinator.com/item?id=23524400 https://news.ycombinator.com/item?id=23524400), I thought I would promote this very excellent, life-saving, time-saving and alltogether wonderful way of typing various Unicode characters in X11. No relation, just a happy user.