TeX source:
k_A \gets h_B^x