# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1759938765 -3600
# Node ID f9aa73b45823763be26e3fee4cf74b6ad336b0bf
# Parent  4358a7def8cb4bc2e9ecb2961f723a6581c2a51f
updated

diff -r 4358a7def8cb -r f9aa73b45823 handouts/ho02.pdf
Binary file handouts/ho02.pdf has changed
diff -r 4358a7def8cb -r f9aa73b45823 handouts/ho02.tex
--- a/handouts/ho02.tex	Wed Oct 08 10:42:10 2025 +0100
+++ b/handouts/ho02.tex	Wed Oct 08 16:52:45 2025 +0100
@@ -952,7 +952,7 @@
 we can transform this into 
 
 \[
-[] \in L(r_1) \vee []\in(r_2)
+[] \in L(r_1) \vee []\in L(r_2)
 \]
 
 \noindent We just replaced the $\textit{nullable}(\ldots)$ parts by