Source TeX:
a^x=a^y \Leftrightarrow x=y