This is LaTeX code:

[latex]
 
 $\def\nrm#1|{\left|\!\left|#1\right|\!\right|}$\nrm x|=1
 
[/latex]