diff options
| author | Camil Staps | 2016-06-15 16:16:08 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-15 16:16:08 +0200 |
| commit | 7d1a43cddaf833504f570d03dcdca73ba2e954cf (patch) | |
| tree | 08ca2e0dc967d37c6342be80b7ccd1a9253f39c0 | |
| parent | Bewijs (diff) | |
Kleine wijzigingen
| -rw-r--r-- | app-trees.tex | 3 | ||||
| -rw-r--r-- | clean.sty | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/app-trees.tex b/app-trees.tex index d3cb663..eab00be 100644 --- a/app-trees.tex +++ b/app-trees.tex @@ -8,7 +8,8 @@ } \begin{landscape} - \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het buitenste programma voor strings met lengte $0$}{fig:tree:lambda}}]{tree-gen-lambda.pdf} + \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het + buitenste programma voor de string $\lambda$}{fig:tree:lambda}}]{tree-gen-lambda.pdf} \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het buitenste programma voor strings met lengte $n\ge1$}{fig:tree:bootstrap}}]{tree-gen-bootstrap.pdf} \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het binnenste programma voor strings met lengte $1$}{fig:tree:bootstrap-base}}]{tree-gen-bootstrap-base.pdf} \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het binnenste programma voor strings met lengte $n>1$}{fig:tree:bootstrap-step}}]{tree-gen-bootstrap-step.pdf} @@ -35,7 +35,7 @@ {<=}{{$\leq$}}1 {>=}{{$\geq$}}1 {<>}{{$\neq$}}1 - {-->}{{$\Rightarrow$}}2 + {-->}{{\texttt{-->}}}3 {->}{{$\rightarrow$}}2 {<-}{{$\leftarrow$}}1 {=}{{$=$}}1 |