oops

1 files changed, 3 insertions, 3 deletions

diff --git a/deftrans.tex b/deftrans.tex
index 0ff04e5..aae4239 100644
--- a/deftrans.tex
+++ b/deftrans.tex
@@ -6,11 +6,11 @@ Bij het definiëren van de natuurlijke semantiek van Smurf zullen we de
 verzameling van transities als een relatie $\to$ tussen
 $\Pgm\times\Input\times\State$ en $\Input\times\Output\times\State$ beschouwen.
 Dit schrijven we als
-$$\trans{\pgm}{\i}{\st}{\i}{\o}{\st}$$
+$$\trans{\pgm}{\ip}{\st}{\ip}{\op}{\st}$$
 en lezen we als
 \begin{quote}
-	``het programma $\pgm$ zal in toestand $\st$ gegeven input $\i$ leiden tot
-	toestand $\st$ met output $\o$ waarbij de input $\i$ niet geconsumeerd is.''
+	``het programma $\pgm$ zal in toestand $\st$ gegeven input $\ip$ leiden tot
+	toestand $\st$ met output $\op$ waarbij de input $\ip$ niet geconsumeerd is.''
 \end{quote}
 
 We hebben het hele programma $\Pgm$ nodig voor de pijl, omdat één commando