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}}