TeX source:
2^x=1000