On Fri, 10 Jan 2025 at 21:56, David Carlisle <d.p.carlisle@gmail.com> 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)

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