[NTG-context] How do I typeset two close vertical lines as in ||x||=1 ?