From 8459ceb2a9a53d900754e8ab307b7fcdb1e8908f Mon Sep 17 00:00:00 2001 From: W-M-T Date: Fri, 29 Apr 2016 15:17:13 +0200 Subject: Removed weird extra spaces --- rulesoutput.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rulesoutput.tex b/rulesoutput.tex index 739ced0..7bdc741 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -5,11 +5,11 @@ o - Output the string at the top of the stack \end{quote} - Net als bij het inputcommando gaan we op een abstracte wijze met de output om. + Net als bij het inputcommando gaan we op een abstracte wijze met de output om. We houden gedurende het hele programma een stack van strings, genaamd $\Output$ bij waar het programma zijn output naar wegschrijft. - Dit geeft de volgende regel: +Dit geeft de volgende regel: $$ \prooftree -- cgit v1.2.3