TeX source:
x = .5