TeX source:
2^{32}-n