> On 14 Feb 2019, at 13:05, Hans Hagen <j.ha...@xs4all.nl> wrote:
>
>> With 2019.02.10 17:43, the command \type{\|x\|} gives an incorrect result:
>> $\|x\| = 1$
>
> why not use $||x|| = 1$
Also $‖x‖ = 1$.
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
