TeX source:
6^{0.8857 + 2} = 7^{3 \cdot 0.8857}