TeX source:
x=−8