Am 07.07.2009 um 00:38 schrieb Moritz Ulrich: > To actually get the ^-character, you have to press ^-<space>. For which it is called a "dead key" – and on alt-shift-6 it's also dead. -- Mit friedvollen Grüßen Pete If all else fails read the instructions. - Donald Knuth