TeX source:
[x]=1