We experience this in Oscar.jl (cf. oscar-system/Oscar.jl#4402 (comment))
Try pasting the full code block into the REPL:
If you paste this in 1.11 it looks exactly like here, in 1.12-nightly (08d3c70) and nightly (f6e2b98) it changes to:
cc @benlorenz @c42f
We experience this in Oscar.jl (cf. oscar-system/Oscar.jl#4402 (comment))
Try pasting the full code block into the REPL:
If you paste this in 1.11 it looks exactly like here, in 1.12-nightly (08d3c70) and nightly (f6e2b98) it changes to:
cc @benlorenz @c42f