% LaTeX customization for XXX


\makeatletter

\typeout{LaTeX customization 'XXXcustom'.  Version 1.00 - released 17 June 1985
}


% plain TeX compatibility

\def\oldstyle{\xdef\@oldstyle{\the\textfont\@ne}\mit\@oldstyle}


% Compatibility with XXX-TeX

\def\smaller{\footnotesize}		% smaller than small

\let\nfootnote=\footnote

\let\tell=\typeout

\def\implies{\quad\supset\ }

\def\tdots{\ldots\thinspace}

\let\bop=\newpage

\def\hbreak{\hfil\break}

\def\lp{\par\noindent}

\def\ifundefined#1{\expandafter\ifx\csname#1\endcsname\relax}

\def\boxit#1{\fbox{\sc#1}}


% Draft Stuff

\newif\ifdraft	\draftfalse

\def\draftstring{{\ifdraft \tt Draft\fi}}

\def\ds@DScustom{\ifdraft \@ifundefined{ds@draft}{}{\ds@draft}\fi}


% Extras

\newdimen\extra@wid		\extra@wid=\z@

\def\extra#1#2{%
    \setbox\z@=\hbox{#2:\quad}
    \ifnum\extra@wid<\wd\z@	\extra@wid=\wd\z@\fi
    \def#1##1{%
	\nobreak
	\extra@skip
	\vbox{%
	    \def\@filler{#2:\hfil\global\let\@filler=\empty}%
	    \let\\=\cr
	    \tabskip=\z@
	    \halign{%
		\hbox to\extra@wid{\@filler}\ignorespaces####\unskip\hfil\cr
		##1\cr
	    }%
	}%
	\nobreak
    }%
}

\def\extra@skip{%
    \vskip 2\baselineskip
    \def\extra@skip{\vskip .15in}%
}


% Miscellany

\def\bigquote#1\endbigquote{%
    \begin{quote}
	\noindent\llap{``}\ignorespaces#1\unskip''
    \end{quote}
}



% Double Spacing Macro

\def\doublespace{
	\baselineskip=2\baselinestretch pt
}

\def\XXXAA{\leavevmode\setbox0\hbox{h}\dimen@\ht0\advance\dimen@-1ex%
  \rlap{\kern+.45ex\raise.67\dimen@\hbox{\char'27}}A}

\makeatother