%ams alpha flag style
%flag enclosed in brackets

\def\Flagfont{\bf}\def\Citefont{\bf}\def\ACitefont{\bf}%redefine some fonts
\def\Flagstyle#1{[{\Flagfont#1}] }%flag style
\input\TMACLIB ams3.ttx