TeX source:
u=(v+u')/(1+vu'/c^{2})