author | wenzelm |
Sun, 22 Aug 1999 21:14:28 +0200 | |
changeset 7316 | 8b6d6df020ac |
parent 7315 | 76a39a3784b5 |
child 7317 | ece660815e03 |
doc-src/iman.sty | file | annotate | diff | comparison | revisions |
1.1 --- a/doc-src/iman.sty Sun Aug 22 21:13:20 1999 +0200 1.2 +++ b/doc-src/iman.sty Sun Aug 22 21:14:28 1999 +0200 1.3 @@ -77,6 +77,7 @@ 1.4 \let\Imp=\Longrightarrow 1.5 \let\To=\Rightarrow 1.6 \newcommand\Var[1]{{?\!#1}} 1.7 +\newcommand\VVar[1]{{?\!?\!#1}} 1.8 \newcommand\All[1]{\Forall#1.} %quantification 1.9 1.10 %%%% ``WARNING'' environment