Source TeX:
2^{x^2-3}=64