On 1/10/2025 9:54 PM, David Carlisle wrote:
There are some images of the output and discussion of the \showlists trace in the stackexchange post at
https://tex.stackexchange.com/a/734734/1090
but this plain luatex file
\tracingonline1 \showboxdepth10
\immediate\write500{\meaning\Arrowvert}
$\Arrowvert + \Big\Arrowvert\showlists $
\expandafter\show\the\textfont3
\bye
produces the expected || character with pdftex but a { character with luatex even though both claim to be using the same extension font (cmex10)
How about fixing the definition of these seemingly never used arrois that are not arrows. \nopagenumbers \delcode`\| = "26B30D $\| \Big\| \Bigg\| \big\| \bigg\|$ \def\arrowvert{\delimiter"26B30C } \def\Arrowvert{\delimiter"26B30D } $\Arrowvert \Big\Arrowvert \Bigg\Arrowvert \big\Arrowvert \bigg\Arrowvert$ $ \mathchar"30C \mathchar"30D \mathchar"33C \mathchar"33D $ \end I wonder if it is a bug in plain or just an assumption about what sits where in a font buit not something to loose sleep over. One can of course wonder what makes a arrowvert without arrow heads different from \def\Vert{\delimiter"26B30D } \def\vert{\delimiter"26A30C } but I guess the same can be said for many math unicode symbols. May I'm wrong and indeed a middle piece brace is intended. Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------