\let\implies\Rightarrow
\let\epsilon\varepsilon
+%% A table heading cell. Clone and hack \multicolumn.
+\def\thd{\omit\@ifnextchar[\thd@{\thd@[l]}}
+\def\thd@[#1]#2{%
+ \begingroup
+ \tab@multicol \tab@initread \let\tab@looped\tab@err@multi
+ \tab@preamble{}\def\tab@midtext{\bfseries#2}\tab@readpreamble{#1}%
+ \the\tab@preamble
+ \endgroup \ignorespaces
+}
+
%% Unix manpage references.
\def\man#1#2{\textbf{#1}(#2)}
%% Put a chunk of text in a box.
\newenvironment{boxy}[1][\q@]{%
+ \savenotes
\dimen@\linewidth\advance\dimen@-1.2pt\advance\dimen@-2ex%
\medskip%
\vbox\bgroup\hrule\hbox\bgroup\vrule%
\endminipage\hskip1ex\egroup\vskip1ex\egroup%
\vrule\egroup\hrule\egroup%
\medskip%
+ \spewnotes%
}
%% Lisp documentation machinery.