TeX source:
h_B \gets g^y