%ams numeric flag style
%flag followed by period

\def\Flagstyle#1{\Flagfont#1. }%flag style
\input\TMACLIB ams3.ttx