TeX Quellcode:
(a^x)^y \equiv a^{x\,y}