TeX source:

x_{n+1}=2 x_{n}-\left[2 x_{n}\right]=2 x_{n}-\operatorname{INT}\left(2 x_{n}\right)