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 <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
-----------------------------------------------------------------
_______________________________________________
dev-luatex mailing list -- [email protected]
To unsubscribe send an email to [email protected]
