mathlib3
c4f3869b - chore(order/symm_diff): Change the symmetric difference notation (#13217)

Commit

3 years ago

chore(order/symm_diff): Change the symmetric difference notation (#13217) The notation for `symm_diff` was `Δ` (`\D`, `\GD`, `\Delta`). It now is `∆` (`\increment`).

Author

YaelDillies

Parents

ac5188dd

mathlib3 c4f3869b - chore(order/symm_diff): Change the symmetric difference notation (#13217)

mathlib3
c4f3869b - chore(order/symm_diff): Change the symmetric difference notation (#13217)