It's really neat! Note this is k7 - dev has since moved to k9. k7 will be remembered as the 'Unicode symbols' experiment of k; for example nulls were slashed z

It's really neat! Note this is k7 - dev has since moved to k9. k7 will be remembered as the 'Unicode symbols' experiment of k; for example nulls were slashed zeroes (Ø) and pi was, well, the pi symbol. k9 dropped them as they're not easy to type across all OSes without config or a dedicated editor. k9 also has the nice dedicated 'cut' symbol, and a few other improvements, but it's not done yet.