Linux box doesn't use ALT sequences. I worked around by copying and pasting a space. Now I've got a new keyboard.