Skip to content

Y-Position of delimiters with \left and \right#150

Open
manuelbb-upb wants to merge 1 commit intoKolaru:masterfrom
manuelbb-upb:delimited_layout
Open

Y-Position of delimiters with \left and \right#150
manuelbb-upb wants to merge 1 commit intoKolaru:masterfrom
manuelbb-upb:delimited_layout

Commits

Commits on Oct 16, 2025