TeX source:

x=8, x+2=10