TeX source:
v2=0