TeX source:

x=vt