This is LaTeX code:

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