This is LaTeX code:

[latex]
 
4 - (x+1) \not= 5 - x
 
[/latex]