13 Feb
2014
13 Feb
'14
2:34 p.m.
On Thu, Feb 13, 2014 at 02:40:18PM +0100, Mikael P. Sundqvist wrote:
I do not agree with you. It is not so important to have the same syntax as in LaTeX (exception: it would be nice to get double bars from \| since it does not make sense to have \| yield a single bar since | does)
That is the Plain TeX syntax for double bar FWIW. Regards, Khaled