This is LaTeX code:
[latex]
x_1 \prec a \prec x_2
[/latex]