Hi Bert,
But neither Alt-\ nor Strg-\ does what it's supposed to do here with pharo 4.1 on linux.
Are you using a German keyboard by chance? What keys are you actually pressing?
Yes, it's 'german eliminate dead keys'.
I'm pressing Alt+AltGr+[ß?] or Strg+AltGr+[ß?].
Markus