TeX source:
e^xe^y =e^{x+y}