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{\?}}