This is LaTeX code:
[latex]
\inf A \notin A \Rightarrow \inf A \in \mathbb{R} \setminus A
[/latex]