diff options
Diffstat (limited to 'defsyn.tex')
| -rw-r--r-- | defsyn.tex | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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. |