diff --git a/base/exports.jl b/base/exports.jl index 7c4d420e4160f..de94b499e1430 100644 --- a/base/exports.jl +++ b/base/exports.jl @@ -776,8 +776,6 @@ export ∌, ⊆, ⊈, - ⊂, - ⊄, ⊊, ∩, ∪,