This is LaTeX code:
[latex]
S \subseteq \overline{K}(0, \sqrt{17})
[/latex]