%Here's a file that I hacked up to provide the new AMS fonts ver 2 to LaTeX,
%and at the right point size.  The ideas come from the old amssymbols.sty.
%Use it with
%	\documentstyle[...,amssym,...]{...}
%It sets up the \Bbb command (which seems to have a missing set of braces in
%the release from AMS--it's fixed here), and the symbols.  \widehat,
%\widetilde also seemed to have a bug in the release from AMS.  Of course, you
%must have the new AMS ver 2 fonts.  The \input of amssym.tex at the end of
%this file adds quite a few defs. You can remove this (or create a dummy
%amssym.tex file in your current directory) if you don't need the defs.
%
%   --darrel hankerson (hank@ducvax.auburn.edu)

%%%%%%%%%%%%%%%%%%%%%%%%%%%% amssym.sty %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Adapted by Darrel Hankerson (hank@ducvax.auburn.edu) 21-May-90, following 
% similar pattern as given in amssymbols.sty by Charles Karney 
% (Karney%PPC.MFENET@NMFECC.ARPA) 1986/07/28.
% This style option loads up the AMS symbol fonts and associated symbol
% definitions. Only \textfont, \scriptfont, and \scriptscriptfont sizes are
% provided.  10pt, 11pt, 12pt styles are supported.

% This is the LATEX version of amssym.def (released with AmSTeX v2).
% Changes:
% 1. Set font sizes according to \@ptsize
% 2. \input amssym.tex at end
% 3. Add AmSTeX definition of \Bbb (\Bbb in amssym.def appears to be missing
%    a set of braces)
% 4. Add misc defs for \widehat, \widetilde  15-Oct-90
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  AMSSYM.DEF                                           February 1990

%  This file contains definitions that perform the same functions as similar
%  ones in AMS-TeX, so that the file AMSSYM.TEX can be used outside of AMS-TeX.
%
%  American Mathematical Society, Technical Support Group, P. O. Box 6248,
%        Providence, RI 02940
%  800-321-4AMS or 401-455-4080;  Internet: Tech-Support@Math.AMS.com
%
%  Copyright (C) 1990, American Mathematical Society.
%  All rights reserved.  Copying of this file is authorized only if either:
%       (1) you make absolutely no changes to your copy including name; OR
%       (2) if you do make changes, you first rename it to some other name.
%
%  Instructions for using this file and the AMS symbol fonts are included in
%  the AMSFonts 2.0 User's Guide.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%  Store the catcode of the @ in the csname so that it can be restored later.
\expandafter\chardef\csname pre amssym.def at\endcsname=\the\catcode`\@
%  Set the catcode to 11 for use in private control sequence names.
\catcode`\@=11

%  Include all definitions related to the fonts msam, msbm and eufm, so that
%  when this file is used by itself, the results with respect to those fonts
%  are equivalent to what they would have been using AMS-TeX.
%  Most symbols in fonts msam and msbm are defined using \newsymbol;
%  however, a few symbols that replace composites defined in plain must be
%  defined with \mathchardef.

\def\undefine#1{\let#1\undefined}
\def\newsymbol#1#2#3#4#5{\let\next@\relax
 \ifnum#2=\@ne\let\next@\msafam@\else
 \ifnum#2=\tw@\let\next@\msbfam@\fi\fi
 \mathchardef#1="#3\next@#4#5}
\def\mathhexbox@#1#2#3{\relax
 \ifmmode\mathpalette{}{\m@th\mathchar"#1#2#3}%
 \else\leavevmode\hbox{$\m@th\mathchar"#1#2#3$}\fi}
\def\hexnumber@#1{\ifcase#1 0\or 1\or 2\or 3\or 4\or 5\or 6\or 7\or 8\or
 9\or A\or B\or C\or D\or E\or F\fi}

\ifcase\@ptsize
 \font\tenmsa=msam10
 \font\sevenmsa=msam7
 \font\fivemsa=msam5
 \font\tenmsb=msbm10
 \font\sevenmsb=msbm7
 \font\fivemsb=msbm5
 \font\teneufm=eufm10
 \font\seveneufm=eufm7
 \font\fiveeufm=eufm5
\or
 \font\tenmsa=msam10 scaled \magstephalf
 \font\sevenmsa=msam7 scaled \magstephalf
 \font\fivemsa=msam5 scaled \magstephalf
 \font\tenmsb=msbm10 scaled \magstephalf
 \font\sevenmsb=msbm7 scaled \magstephalf
 \font\fivemsb=msbm5  scaled \magstephalf
 \font\teneufm=eufm10 scaled \magstephalf
 \font\seveneufm=eufm7 scaled \magstephalf
 \font\fiveeufm=eufm5 scaled \magstephalf
\or
 \font\tenmsa=msam10 scaled \magstep1
 \font\sevenmsa=msam7 scaled \magstep1
 \font\fivemsa=msam5 scaled \magstep1
 \font\tenmsb=msbm10 scaled \magstep1
 \font\sevenmsb=msbm7 scaled \magstep1
 \font\fivemsb=msbm5 scaled \magstep1
 \font\teneufm=eufm10 scaled \magstep1
 \font\seveneufm=eufm7 scaled \magstep1
 \font\fiveeufm=eufm5 scaled \magstep1
\fi

%\font\tenmsa=msam10
%\font\sevenmsa=msam7
%\font\fivemsa=msam5
\newfam\msafam
\textfont\msafam=\tenmsa
\scriptfont\msafam=\sevenmsa
\scriptscriptfont\msafam=\fivemsa
\edef\msafam@{\hexnumber@\msafam}
\mathchardef\dabar@"0\msafam@39
\def\dashrightarrow{\mathrel{\dabar@\dabar@\mathchar"0\msafam@4B}}
\def\dashleftarrow{\mathrel{\mathchar"0\msafam@4C\dabar@\dabar@}}
\let\dasharrow\dashrightarrow
\def\ulcorner{\delimiter"4\msafam@70\msafam@70 }
\def\urcorner{\delimiter"5\msafam@71\msafam@71 }
\def\llcorner{\delimiter"4\msafam@78\msafam@78 }
\def\lrcorner{\delimiter"5\msafam@79\msafam@79 }
\def\yen{{\mathhexbox@\msafam@55 }}
\def\checkmark{{\mathhexbox@\msafam@58 }}
\def\circledR{{\mathhexbox@\msafam@72 }}
\def\maltese{{\mathhexbox@\msafam@7A }}

%\font\tenmsb=msbm10
%\font\sevenmsb=msbm7
%\font\fivemsb=msbm5
\newfam\msbfam
\textfont\msbfam=\tenmsb
\scriptfont\msbfam=\sevenmsb
\scriptscriptfont\msbfam=\fivemsb
\edef\msbfam@{\hexnumber@\msbfam}
\def\Bbb#1{\fam\msbfam\relax#1}
\def\widehat#1{\setboxz@h{$\m@th#1$}%
 \ifdim\wdz@>\tw@ em\mathaccent"0\msbfam@5B{#1}%
 \else\mathaccent"0362{#1}\fi}
\def\widetilde#1{\setboxz@h{$\m@th#1$}%
 \ifdim\wdz@>\tw@ em\mathaccent"0\msbfam@5D{#1}%
 \else\mathaccent"0365{#1}\fi}
%\font\teneufm=eufm10
%\font\seveneufm=eufm7
%\font\fiveeufm=eufm5
\newfam\eufmfam
\textfont\eufmfam=\teneufm
\scriptfont\eufmfam=\seveneufm
\scriptscriptfont\eufmfam=\fiveeufm
\def\frak#1{{\fam\eufmfam\relax#1}}
\let\goth\frak

\input amssym

% AmSTeX source lines
\def\RIfM@{\relax\ifmmode}
%\def\nonmatherr@#1{\Err@{\string#1\space allowed only in math mode}}
\def\nonmatherr@#1{\errmessage{\string#1\space allowed only in math mode}}
\def\Bbb{\RIfM@\expandafter\Bbb@\else
 \expandafter\nonmatherr@\expandafter\Bbb\fi}
\def\Bbb@#1{{\Bbb@@{#1}}}
%\def\Bbb@@#1{\noaccents@\fam\msbfam\relax#1}
\def\Bbb@@#1{\fam\msbfam\relax#1}
% It seems the following are needed for \widehat, \widetilde
\def\setboxz@h{\setbox\z@\hbox}
\def\wdz@{\wd\z@}

%  Restore the catcode value for @ that was previously saved.
\catcode`\@=\csname pre amssym.def at\endcsname

\endinput