This is LaTeX code:
[latex]
\displaystyle\frac{y_1-x_1}{2^k}<t
[/latex]