Symbol: k_hexpl