% ^^A took to get the table below to look right: __6. Hmm... not as bad
% ^^A as I expected. Most of them were fine-tuning things.
%
-% \medskip ^^A Leave a vertical gap
-% \hbox to\columnwidth{\hfil\vbox{\tabskip=0pt ^^A Centre it horizontally
-% \sdsize \csname sd@setsize\endcsname ^^A Position syntdiag arrows
-% \halign to .5\columnwidth{ ^^A Set the table width
+% \medskip ^^A Leave a vertical gap
+% \hbox to\columnwidth{\hfil\vbox{\tabskip=0pt ^^A Centre it horizontally
+% \sdsize \csname sd@setsize\endcsname ^^A Position syntdiag arrows
+% \halign to .5\columnwidth{ ^^A Set the table width
% &\ttfamily\ignorespaces#\unskip\hfil\tabskip=0pt ^^A Typeset the name
-% &\quad\csname sd@arr@#\endcsname\hfil ^^A Typeset the arrow
-% &\setbox0=\hbox{#}\tabskip=0pt plus 1fil\cr ^^A Stretch between columns
+% &\quad\csname sd@arr@#\endcsname\hfil ^^A Typeset the arrow
+% &\setbox0=\hbox{#}\tabskip=0pt plus 1fil\cr ^^A Stretch between columns
% >>-&>>-& &>-&>-& &->&->\cr
% -><&-><& &...&...& &-&-\cr
-% }}\hfil} ^^A Close the boxing
-% \medskip ^^A And leave another gap
+% }}\hfil} ^^A Close the boxing
+% \medskip ^^A And leave another gap
%
% These declarations should be used only in the optional argument to the
% \env{syntdiag$*$} command. The second optional argument to the
% |\lit| and |\lit*|) has two style commands associated with it, as shown
% in the table below.
%
-% \begin{tab}{lll} \hline
-% \bf Syntax item & \bf Left command & \bf Right command \\ \hline
-% Nonterminals & |\syntleft| & |\syntright| \\
-% Quoted terminals & |\litleft| & |\litright| \\
-% Unquoted terminals & |\ulitleft| & |\ulitright| \\ \hline
+% \begin{tab}{lll} \hline
+% \bf Syntax item & \bf Left command & \bf Right command \\ \hline
+% Nonterminals & |\syntleft| & |\syntright| \\
+% Quoted terminals & |\litleft| & |\litright| \\
+% Unquoted terminals & |\ulitleft| & |\ulitright| \\ \hline
% \end{tab}
%
% It's not too hard to see how this works. For example, if you look at