This is LaTeX code:

[latex]
 
x+3 \neq 0 \implies x \neq -3
 
[/latex]