1 files changed, 3 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index a6da81a..84890f5 100644
--- a/main.tex
+++ b/main.tex
@@ -54,9 +54,11 @@
 \newcommand\JW[1]{\Comment{red!75!black}{JW}{#1}}
 \newcommand\YH[1]{\Comment{green!50!blue}{YH}{#1}}
 \newcommand\JP[1]{\Comment{blue!50!black}{JP}{#1}}
-\newcommand\NR[1]{\Comment{yellow!50!black}{NR}{#1}}
+\newcommand\NR[1]{\Comment{blue}{NR}{#1}}
 
 \newcommand\JWcouldcut[1]{{\st{#1}}}
+\newcommand\NRcouldcut[1]{{\st{#1}}}
+\newcommand\NRreplace[2]{{\st{#1} #2}}
 
 \definecolor{compcert}{HTML}{66c2a5}
 \definecolor{formalhls}{HTML}{fc8d62}