TeX source:

x = 55