diff options
| author | Camil Staps | 2016-06-07 20:59:05 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-07 20:59:05 +0200 |
| commit | 6d10eae47eae0af8469dd9a84a7d1df2688cae31 (patch) | |
| tree | e9c7feb03bc72047fc1ee5e74d6ac7f3d4aed241 /paper/while.sty | |
| parent | Makefile paper (diff) | |
Processing feedback
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} |