Align corner brackets to the top and bottom when scaling

[bluebear94]

See #4188

This broke scaling of the corner brackets, U+231C – U+231F. Hopefully this didn’t happen to be needed? Right?

[PgBiel]

This broke scaling of the corner brackets, U+231C – U+231F.

Could you provide some images comparing the old and the new behavior? Should make it easier to tell if that's a problem or not (e.g. if the previous behavior was unintended).

[Enter-tainer]

I think there are images in #4188 but i wonder if it's the correct place to apply "fix". And i'm also surprised to see non of other tests fail

[Enivex]

I think there are images in #4188 but i wonder if it's the correct place to apply "fix". And i'm also surprised to see non of other tests fail

Presumably because these are some of the few delimiters that aren't already vertically centered in most fonts. In fact, looking at http://mirrors.ctan.org/macros/unicodetex/latex/unicode-math/unimath-symbols.pdf they seem to be the only ones.

I don't know the motivation behind centering delimiters, but I guess the safest option would be to only disable centering for these specific ones @bluebear94 ?

[Enivex]

#1756

This was done purposely, so the issue here is that these specific corner delimiters have to be handled in a different way.

Perhaps check how LuaTeX/XeTeX deals with this? The same issue presumably appears there.

[bluebear94]

Both LuaTeX and XeTeX have incorrect results with \left and \right (though less so with LuaTeX):

\usepackage{unicode-math}

\[\ulcorner c \urcorner \ulcorner \frac{a}{b} \urcorner\]

\[\left\ulcorner c \right\urcorner \left\ulcorner \frac{a}{b} \right\urcorner\]

gives the following in LuaLaTeX:

and the following in XeLaTeX:

[Enivex]

Okay, so I guess we'll have to come up with a solution ourselves.

LuaTeX at least doesn't seem to center it even with \left and \right, even if they're not scaled at all @bluebear94. Unlike XeTeX, which seems to suffer from the same problem as typst.

[Enivex]

Can these specific delimiters be top and bottom aligned?

[laurmaedje]

Thanks!

[istudyatuni]

I guess linked issue could be closed