TeX source:
(e^x)^y = e^{xy}