Source TeX:
x^2=-a^2