This is LaTeX code:

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