TeX source:

x=3, x=8