13 Feb
2019
13 Feb
'19
5:52 p.m.
Hi Hans, With the latest beta there seems a bug has been intoduced with « \| » which should give a vertical double bar and not a simple bar. This is a minimal example: \starttext With 2019.02.10 17:43, the command \type{\|x\|} gives an incorrect result: $\|x\| = 1$ $|x| = 1$ \stoptext Best regards: OK