diff -r bae8c3eb51c7 -r 99e89ad35d76 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