TeX source:
x = In 8