% symbols missing. Here they are, in all their glory:
% \begin{center} \unverb\| \begin{tabular}{cl|cl|cl}
% $\&$ & "\&" & $\bitor$ & "\bitor" & $\dbland$ & "\dbland" \\
-% $\bitand$ & "\bitand" & $\dblor$ & "\dblor" &
+% $\bitand$ & "\bitand" & $\dblor$ & "\dblor" &
% \end{tabular} \end{center}
%
% \DescribeMacro\xor
%
% Now we need to do some more calculating (don't you hate it?). As far as
% Appendix~G is concerned, $\theta=h(y)=0$, because we want no rule over the
-% top.
+% top.
%
% \begin{macrocode}
\@tempdima\ht\tw@%
% \item |\hfill| glue to push the little rule to the end of the line.
% \item A little square rule `\qedrule', with some small kerns around it.
% \item A glue item to counter the effect of glue added at the paragraph
-% boundary.
+% boundary.
% \end{itemize}
%
% The vertical mode case is simpler, but less universal. It copes with