Commit 2025-10-14 14:50 946cb31c

chore: notation for (conditional) independence (#30419) Add notations:

• X ⟂ᵢ[μ] Y for independence of X and Y. Simplified to X ⟂ᵢ Y if the measure is volume.
• X ⟂ᵢ[Z, hZ; μ] Y for independence of X and Y given Z. Simplified to X ⟂ᵢ[Z, hZ] Y if the measure is volume. I don't use a double uptack because neither my browser nor my vscode font have that character (U+2AEB). Instead I have chosen a \perp with an i for indepedence.