This is LaTeX code:
[latex]
u' := (1,0,0,0,\dots), u'' := (2,0,0,0,\dots) \;\Rightarrow\; N(u')=N(u'')=0 \;\&\; u' \neq u''
[/latex]