TeX source:
x=v_xt