doc-src/iman.sty
changeset 7316 8b6d6df020ac
parent 7169 76ef91b608a9
child 7321 b4dcc32310fb
     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