equal
deleted
inserted
replaced
75 |
75 |
76 \let\Forall=\bigwedge |
76 \let\Forall=\bigwedge |
77 \let\Imp=\Longrightarrow |
77 \let\Imp=\Longrightarrow |
78 \let\To=\Rightarrow |
78 \let\To=\Rightarrow |
79 \newcommand\Var[1]{{?\!#1}} |
79 \newcommand\Var[1]{{?\!#1}} |
|
80 \newcommand\VVar[1]{{?\!?\!#1}} |
80 \newcommand\All[1]{\Forall#1.} %quantification |
81 \newcommand\All[1]{\Forall#1.} %quantification |
81 |
82 |
82 %%%% ``WARNING'' environment |
83 %%%% ``WARNING'' environment |
83 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
84 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
84 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |
85 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |