equal
deleted
inserted
replaced
80 |
80 |
81 %%%% ``WARNING'' environment |
81 %%%% ``WARNING'' environment |
82 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
82 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
83 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |
83 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |
84 \small %%WAS\baselineskip=0.9\baselineskip |
84 \small %%WAS\baselineskip=0.9\baselineskip |
85 \noindent \hangindent\parindent \hangafter=-2 |
85 \noindent \ifdim\parindent > 0pt\hangindent\parindent\else\hangindent1.5em\fi |
|
86 \hangafter=-2 |
86 \hbox to0pt{\hskip-\hangindent\dbend\hfill}\ignorespaces}% |
87 \hbox to0pt{\hskip-\hangindent\dbend\hfill}\ignorespaces}% |
87 {\par\endgroup\medbreak} |
88 {\par\endgroup\medbreak} |
88 |
89 |
89 |
90 |
90 %%%% Standard logical symbols |
91 %%%% Standard logical symbols |