1 files changed, 2 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 84890f5..99d32aa 100644
--- a/main.tex
+++ b/main.tex
@@ -58,7 +58,8 @@
 
 \newcommand\JWcouldcut[1]{{\st{#1}}}
 \newcommand\NRcouldcut[1]{{\st{#1}}}
-\newcommand\NRreplace[2]{{\st{#1} #2}}
+\newcommand\NRreplace[2]{{\st{#1} \textcolor{blue}{#2}}}
+\newcommand\JWreplace[2]{{\st{#1} \textcolor{red!75!black}{#2}}}
 
 \definecolor{compcert}{HTML}{66c2a5}
 \definecolor{formalhls}{HTML}{fc8d62}