let
xk_Tslash = 0x3ac