Since there is a unicode discussion the next thread over (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.
1 comment
[ 2.7 ms ] story [ 12.4 ms ] threadNo relation, just a happy user.