fix(probability/notation): add missing spaces around operators in notation (#15862)
fix(probability/notation): add missing spaces around operators in notation (#15862)

This ensures these operators are pretty-printed with spaces







leanprover-community/mathlib,leanprover-community/mathlib