diff --git a/9-type-aliases-redux/latex/gendiff.sh b/9-type-aliases-redux/latex/gendiff.sh
new file mode 100644
index 0000000..6172cb1
--- /dev/null
+++ b/9-type-aliases-redux/latex/gendiff.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+git latexdiff --lualatex --math-markup=fine --append-safecmd='inferrule' --allow-spaces -o kind-judgements.diff.pdf 4410cd565ce717707e580e44f64868d3175fe2a6 --
diff --git a/9-type-aliases-redux/latex/kind-judgements.pdf b/9-type-aliases-redux/latex/kind-judgements.pdf
index ef7d704..79c56e8 100644
Binary files a/9-type-aliases-redux/latex/kind-judgements.pdf and b/9-type-aliases-redux/latex/kind-judgements.pdf differ
diff --git a/9-type-aliases-redux/latex/kind-judgements.tex b/9-type-aliases-redux/latex/kind-judgements.tex
index 48bc058..6b13958 100644
--- a/9-type-aliases-redux/latex/kind-judgements.tex
+++ b/9-type-aliases-redux/latex/kind-judgements.tex
@@ -60,9 +60,6 @@
 \newcommand{\htdefine}[3]{\textt{type }#1 \textt{ = } #2\textt{ in }#3}
 \newcommand{\dtdefine}[4]{\textt{type }#1 \textt{ = } #2 : #3\textt{ in }#4}
 
-\providecommand{\DIFdel}[1]{{\color{red}#1}}
-\providecommand{\DIFadd}[1]{{\color{blue}#1}}
-
 \begin{document}
 
 \begin{figure}[t]