From 7d1a43cddaf833504f570d03dcdca73ba2e954cf Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 15 Jun 2016 16:16:08 +0200
Subject: Kleine wijzigingen

---
 app-trees.tex | 3 ++-
 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}
diff --git a/clean.sty b/clean.sty
index c933773..d0c5f80 100644
--- a/clean.sty
+++ b/clean.sty
@@ -35,7 +35,7 @@
 		{<=}{{$\leq$}}1
 		{>=}{{$\geq$}}1
 		{<>}{{$\neq$}}1
-		{-->}{{$\Rightarrow$}}2
+		{-->}{{\texttt{-->}}}3
 		{->}{{$\rightarrow$}}2
 		{<-}{{$\leftarrow$}}1
 		{=}{{$=$}}1
-- 
cgit v1.2.3