From cc263a202748055409cf44d8ff1f7505a1a09b3a Mon Sep 17 00:00:00 2001
From: Eric Zhao <21zhaoe@protonmail.com>
Date: Thu, 26 Oct 2023 21:48:52 -0400
Subject: [PATCH] formalism: Use meet symbol for meet

---
 formalism/symbols/types.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/formalism/symbols/types.tex b/formalism/symbols/types.tex
index a178122..d6ac0a9 100644
--- a/formalism/symbols/types.tex
+++ b/formalism/symbols/types.tex
@@ -37,8 +37,8 @@
 \newcommand{\TMSet}{\ensuremath{T}}
 \newcommand{\TMV}{\ensuremath{\tau}}
 
-\newcommand{\meetRel}{\sqcup}
-\newcommand{\noMeetRel}{\centernot\sqcup}
+\newcommand{\meetRel}{\sqcap}
+\newcommand{\noMeetRel}{\centernot\sqcap}
 \newcommand{\TMeet}[2]{\ensuremath{#1 \meetRel #2}}
 
 \newcommand{\TUnknown}{\ensuremath{\?}}