Skip to content

Commit

Permalink
Add and unicode alias
Browse files Browse the repository at this point in the history
  • Loading branch information
OlivierHnt committed May 24, 2024
1 parent 4b62ac8 commit c569c95
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions src/symbols.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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)

"""
Expand Down

0 comments on commit c569c95

Please sign in to comment.