Feedback

1 files changed, 4 insertions, 3 deletions

diff --git a/defsyn.tex b/defsyn.tex
index 3884580..f376664 100644
--- a/defsyn.tex
+++ b/defsyn.tex
@@ -16,7 +16,8 @@ We definiëren de volgende syntax:
 	<String> ::= <Char><String> | $\lambda$
 \end{grammar}
 
-Een karakter, $\SynChar$, is een symbool uit de ASCII tabel. 
-
-Programma's zijn lijsten van statements. Merk op dat compositie van statements hier expliciet is door middel van de ``:'', waar compositie in de oorspronkelijke versie van de syntax impliciet was.
+Een karakter, $\SynChar$, is een symbool uit de ASCII tabel.
 
+Programma's zijn lijsten van statements. Merk op dat compositie van statements
+hier expliciet is door middel van de \lit{:}, waar compositie in de
+oorspronkelijke versie van de syntax impliciet was.