TeX source:
2^{127} 127