TeX source:
10^y=1000