module SqCupCap where

-- symbol obtained by typing \sqcup
-- ⊔ should look like a disjunction, paste this into a terminal and compare!

-- symbol obtained by typing \sqcap
-- ⊓ should look like a conjunction, paste this into a terminal and compare!