Add ⊔ and ⊓ unicode alias (#651)

JuliaIntervals · May 24, 2024 · c7d7d81 · c7d7d81
1 parent 4b62ac8
commit c7d7d81
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/symbols.jl b/src/symbols.jl
@@ -92,6 +92,22 @@ Unicode alias of [`isinterior`](@ref).
 """
 ⪽(x, y) = isinterior(x, y)
 
+"""
+    ⊔(x, y)
+    x ⊔ y
+
+Unicode alias of [`hull`](@ref).
+"""
+⊔(x, y) = hull(x, y)
+
+"""
+    ⊓(x, y)
+    x ⊓ y
+
+Unicode alias of [`intersect_interval`](@ref).
+"""
+⊓(x, y) = intersect_interval(x, y)
+
 """
     ∅