TeX source:

2^{30}