Re: [NTG-context] \| should give two || and not one

On Tue, Feb 19, 2013 at 10:50 AM, Mikael P. Sundqvist wrote:

On Tue, Feb 19, 2013 at 10:29 AM, Hans Hagen wrote:

...

On 2/19/2013 8:36 AM, Keith J. Schultz wrote: Fine. In principal I've nothing against typing || for double bars (even though people moving from TeX/LaTeX probably will be used to | for one bar and \| for two bars). Some questions: hm I mean a single ‖ (unicode 2012, DOUBLE VERTICAL LINE) , not two ||, i.e. a single unicode 0007C VERTICAL LINE inserted two times.

-- luigi