Source TeX:

x-\alpha=\beta\,t \Rightarrow dx=\beta dt,