summaryrefslogtreecommitdiff
path: root/defsyn.tex
diff options
context:
space:
mode:
Diffstat (limited to 'defsyn.tex')
-rw-r--r--defsyn.tex7
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.