This is LaTeX code:
[latex]
y:=\alpha \overline{x},\alpha \geq 0
[/latex]