formalism: Use meet symbol for meet

hazelgrove · Oct 27, 2023 · cc263a2 · cc263a2
1 parent 2205ae7
commit cc263a2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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{\?}}