On Fri, 10 Jan 2025 at 21:56, David Carlisle
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)
David
Just pushed into texlive r73426 | lscarso | 2025-01-11 22:04:50 +0100 (sab, 11 gen 2025) | 1 line fixed "unexpected delimiter construction with classic tfm cmex font", see https://tex.stackexchange.com/a/734734/1090 (HH). LuaTeX 1.20.4 -- luigi