let xk_tslash              = 0x3bc