What is the difference between unicode symbols 20A0 and 20AC?
Which should have which escape sequence? I'll put what's appropriate
in /lib/keyboard here but I'm not the right judge of that.

-rob