--- a/handouts/ho01.tex	Fri Sep 16 12:52:21 2022 +0100
+++ b/handouts/ho01.tex	Thu Sep 29 20:54:02 2022 +0100
@@ -46,6 +46,7 @@
 
 \section*{Handout 1}
 
+$\neq$
 
 The purpose of a compiler is to transform a program a human can read and
 write into code machines can run as fast as possible. Developing a