Commit 2025-03-09 07:00 fbe595fc
View on Github →fix: prevent probability notation clashing with list notation (#22699) Zulip thread. This comes at the cost of losing the automatic delaborators, so we have to write them manually. It follows on from #19900.