TeX source:
5=2^2+1