From 5c501dda769dc568df482ad672d1c7be9c380111 Mon Sep 17 00:00:00 2001
From: Eric Zhao <21zhaoe@protonmail.com>
Date: Mon, 9 Oct 2023 01:38:59 -0400
Subject: [PATCH] formalism: Use colorful not equal operator

---
 formalism/symbols/types.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/formalism/symbols/types.tex b/formalism/symbols/types.tex
index c05b4cf..a178122 100644
--- 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}}