From 47b14a45a053cc8b1e4e1686d17d19589bf2edbc Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 09:00:40 +0200
Subject: Feedback

---
 defsyn.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'defsyn.tex')

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.
-- 
cgit v1.2.3

