let
xk_tslash = 0x3bc