TeX source:
v=v_0+at