TeX source:
10:0 = x