From 96dedc68dc105def7252e40cc5cd9f64d223aa86 Mon Sep 17 00:00:00 2001
From: "David P. Sanders" <dpsanders@gmail.com>
Date: Mon, 27 May 2024 03:45:05 -0500
Subject: [PATCH] Export \sqcap and \sqcup (#657)

---
 src/symbols.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/symbols.jl b/src/symbols.jl
index ebf20f634..ff621c3d0 100644
--- a/src/symbols.jl
+++ b/src/symbols.jl
@@ -1,7 +1,7 @@
 module Symbols
 
     using IntervalArithmetic
-    export .., ±, ≛, ≺, ⪽, ∅, ℝ
+    export .., ±, ≛, ≺, ⪽, ∅, ℝ, ⊓, ⊔
 
 """
     ..(a, b)