Update hk_symbols.txt