[luatex] Bug when changing delimiter size?

[Taco Hoekwater]

On 06/01/11 08:22, Arnaud Schmittbuhl wrote:
> This code does not give the same result with a luatex compilation or a
> pdf one (pb seen by V. Garibal on fctt)
> 
> - [bad]  This is LuaTeX, Version beta-0.70.1-2011051923 (rev 4277)
> - [good] This is pdfTeX, Version 3.1415926-1.40.11 (TeX Live 2010)
> - [good] This is XeTeX, Version 3.1415926-2.2-0.9997.4 (TeX Live 2010)
> 
> $\Arrowvert \big\Arrowvert$
> \bye

> I remember something similar with brackets in a math formula and some
> otf fonts. In high size, left bracket got changed to a right one!

Tracker item added. I think I understand what is going on, but finding
a perfect fix could turn out to be somewhat hard.

cmex10 has an extensible character list for the \Arrowvert delimiter
that starts at the middle of the right brace (that is "3B in family 3).
Clearly this glyph is supposed to be *always* skipped/ignored itself,
but luatex does not do that (obviously).

Best wishes,
Taco