115 \small %%WAS\baselineskip=0.9\baselineskip |
115 \small %%WAS\baselineskip=0.9\baselineskip |
116 \noindent \hangindent\parindent \hangafter=-2 |
116 \noindent \hangindent\parindent \hangafter=-2 |
117 \hbox to0pt{\hskip-\hangindent\warnbang\hfill}\ignorespaces}% |
117 \hbox to0pt{\hskip-\hangindent\warnbang\hfill}\ignorespaces}% |
118 {\par\endgroup\medbreak} |
118 {\par\endgroup\medbreak} |
119 |
119 |
120 %%%% ``PROOF GENERAL'' environment: full chest |
120 %%%% ``PROOF GENERAL'' environment |
121 \def\pgchest{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pgchest}}\vss}} |
121 \def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}} |
122 \newenvironment{pgnote}{\medskip\medbreak\begingroup \clubpenalty=10000 |
122 \newenvironment{pgnote}{\medskip\medbreak\begingroup \clubpenalty=10000 |
123 \small \noindent \hangindent\parindent \hangafter=-2 |
|
124 \hbox to0pt{\hskip-\hangindent \pgchest\hfill}\ignorespaces}% |
|
125 {\par\endgroup\medbreak} |
|
126 |
|
127 %%%% ``PROOF GENERAL'' environment: head only |
|
128 \def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}} |
|
129 \newenvironment{pgnoteh}{\medskip\medbreak\begingroup \clubpenalty=10000 |
|
130 \small \noindent \hangindent\parindent \hangafter=-2 |
123 \small \noindent \hangindent\parindent \hangafter=-2 |
131 \hbox to0pt{\hskip-\hangindent \pghead\hfill}\ignorespaces}% |
124 \hbox to0pt{\hskip-\hangindent \pghead\hfill}\ignorespaces}% |
132 {\par\endgroup\medbreak} |
125 {\par\endgroup\medbreak} |
133 |
126 |
134 |
127 |