diff options
| author | Camil Staps | 2016-05-19 16:52:31 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-05-19 16:52:31 +0200 |
| commit | 6e7015f0efc19c993e7c48d5be49924b0e0569a4 (patch) | |
| tree | ecc6543fd6d0652701dcc0dcec5cc02ee0008d70 /paper/while.sty | |
| parent | Minor changes opdracht8 (diff) | |
Update example program
Diffstat (limited to 'paper/while.sty')
| -rw-r--r-- | paper/while.sty | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/paper/while.sty b/paper/while.sty index 1c61164..33b94b3 100644 --- a/paper/while.sty +++ b/paper/while.sty @@ -5,3 +5,7 @@ \def\whcomp#1#2{#1\texttt{;} #2} \def\whif#1#2#3{\texttt{if #1 then #2 else #3 endif}} \def\whwhile#1#2{\texttt{while #1 do #2 done}} + +\def\whnot#1{\texttt{$\lnot$#1}} +\def\whnotp#1{\texttt{$\lnot$(#1)}} +\def\whle#1#2{\texttt{#1 $\le$ #2}} |