diff options
Diffstat (limited to 'paper/while.sty')
| -rw-r--r-- | paper/while.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/paper/while.sty b/paper/while.sty index ed34c41..32d8652 100644 --- a/paper/while.sty +++ b/paper/while.sty @@ -9,7 +9,7 @@ \def\whwhile#1#2{\texttt{while~}#1\texttt{~do~}#2} \def\whnot#1{\texttt{$\lnot$#1}} -\def\whnotp#1{\texttt{$\lnot$(#1)}} +\def\whnotp#1{\texttt{$\lnot$}(#1)} \def\whle#1#2{\texttt{#1$\le$#2}} \def\axjustifies{\thickness0em\justifies} |