formalism: Use colorful not equal operator

hazelgrove · Oct 9, 2023 · 5c501dd · 5c501dd
1 parent f6612ac
commit 5c501dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/formalism/symbols/types.tex b/formalism/symbols/types.tex
@@ -7,7 +7,7 @@
 
 % equality
 \newcommand{\equal}[2]{\ensuremath{#1 = #2}}
-\newcommand{\notEqual}[2]{\ensuremath{#1 \neq #2}}
+\newcommand{\notEqual}[2]{\ensuremath{\goodcolor{\colorFailSideJudge}{#1 \neq #2}}}
 
 % consistency
 \newcommand{\consistentRel}{\ensuremath{\sim}}