TeX source:
b=a^k