X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=an_arit_expr.tex;h=a87fc92aebd35a0fb6998c13059b3cb360a11f42;hb=d5eb78db13b8b04fdf0a3edf3e636dd9006948af;hp=1e15a60fecaaf14fe9bb03d49244733729809749;hpb=65303619b64820767647cdfbae6e57676be7ce66;p=sec1415.git

diff --git a/an_arit_expr.tex b/an_arit_expr.tex
index 1e15a60..a87fc92 100644
--- a/an_arit_expr.tex
+++ b/an_arit_expr.tex
@@ -40,8 +40,8 @@ operatoren bestaan die niet voorkomen in \textit{Piet} en deze moeten dus
 herschreven worden. De operatoren die herschreven worden zijn: $=, \leq,
 \wedge\\
 \begin{array}{ll}
-	a \wedge b 	& a+b>1\\
-	a = b 		& \neg(a-b>0)\\
+	a \wedge b 	& a*b\\
+	a = b 		& not(a-b)>0\\
 	a \leq b	& \neg(a>b)
 \end{array}$\\
 \textbf{While} $3=2\wedge 3\leq 4$\\