Commit 2025-11-28 14:12 5971034f

feat(LinearAlgebra/Span): improve R ∙ x notation precedence and printing (#32108) This PR makes 2 changes to the R ∙ x notation.

• The precedence is improved. On the one hand, we want to write R ∙ x ⊔ R ∙ y/R ∙ x ⊓ R ∙ y without brackets, so the precedence should be least 70. On the other hand we want to be able to write R ∙ a * b without brackets, so the precedence should be at most 70. As a result, the notation ℝ ∙ (v - w) now does require brackets, but I think this is reasonable.
• An app_unexpander has been added to pretty print the notation. This unexpander needs to be defined by hand because we need to explicitly tell it that the {_} notation that is used is the «term{_}» notation. This PR also removes a bunch of unneeded brackets.