%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%
%%%  <[7mamssymbl[m.sty> - A part of the FoilTeX system.
%%%
%%%  Questions, comments or suggestions concerning this program can be
%%%  sent to 
%%%     James (Jim) Hafner
%%%     IBM Research Division
%%%     Almaden Research Center, K53/802
%%%     650 Harry Road
%%%     San Jose, CA 95120-6099
%%%     408-927-1892
%%%     Bitnet: hafner@almaden
%%%     Internet: hafner@almaden.ibm.com
%%%
%%%  Copyright International Business Machines Corporation 1992
%%%  All rights reserved
%%%
%%%  Use of this code implies understanding, agreement and acceptance of all
%%%  terms and conditions stated in the EXPERIMENTAL SOFTWARE DISCLAIMER and 
%%%  the USER AGREEMENT found in the header of the file <fltplain.tex>.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%  Revision History:
\def\releasedate{21 Aug. 1992}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% A set of macros for loading the AMS Symbol fonts with LaTeX or with
%% FoilTeX using natural scaling at all font sizes and with all style
%% options.  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% This should be the LAST style option listed (at least among those
%% that affect font selection).
%%
%% This file must be used in conjuction with amssym.[def,tex] from the AMS
%% Fonts package.  These macros are compatable with versions 2.0 and 2.1.
%%
%% First we get the basic stuff from the AMS Font distribution to define
%% the macro names, after adding a few missing definitions from AMSTEX.TEX.
%% (These are no longer needed in version 2.1, but are required by 2.0.)
\def\setboxz@h{\setbox\z@\hbox}
\def\wdz@{\wd\z@}
\input amssym.def
\input amssym.tex
 
%% Next we decide if this is FoilTeX or LaTeX and do the correct thing
%% in each case.  The procedure is to define all the required fonts 
%% and then add the necessary font information at every possible point
%% size.
 
\@ifundefined{FoilTeX}{%                %% THIS MEANS WE ARE IN LaTeX
% Define the AM symbol fonts at required scaling
\font\fivemsa=msam5 scaled 1000
\font\sixmsa=msam6 scaled 1000
\font\sevenmsa=msam7 scaled 1000
\font\egtmsa=msam8 scaled 1000
\font\ninmsa=msam9 scaled 1000
\font\tenmsa=msam10 scaled 1000
\font\elvmsa=msam10 scaled 1095
\font\twlmsa=msam10 scaled 1200
\font\frtnmsa=msam10 scaled 1440
\font\svtnmsa=msam10 scaled 1728
\font\twtymsa=msam10 scaled 2074
\font\twfvmsa=msam10 scaled 2488
%
% Define the BM symbol fonts at required scaling
\font\fivemsb=msbm5 scaled 1000
\font\sixmsb=msbm6 scaled 1000
\font\sevenmsb=msbm7 scaled 1000
\font\egtmsb=msbm8 scaled 1000
\font\ninmsb=msbm9 scaled 1000
\font\tenmsb=msbm10 scaled 1000
\font\elvmsb=msbm10 scaled 1095
\font\twlmsb=msbm10 scaled 1200
\font\frtnmsb=msbm10 scaled 1440
\font\svtnmsb=msbm10 scaled 1728
\font\twtymsb=msbm10 scaled 2074
\font\twfvmsb=msbm10 scaled 2488
%
% Define the Euler Fraktur fonts at required scaling
\font\fiveeufm=eufm5 scaled 1000
\font\sixeufm=eufm6 scaled 1000
\font\seveneufm=eufm7 scaled 1000
\font\egteufm=eufm8 scaled 1000
\font\nineufm=eufm9 scaled 1000
\font\teneufm=eufm10 scaled 1000
\font\elveufm=eufm10 scaled 1095
\font\twleufm=eufm10 scaled 1200
\font\frtneufm=eufm10 scaled 1440
\font\svtneufm=eufm10 scaled 1728
\font\twtyeufm=eufm10 scaled 2074
\font\twfveufm=eufm10 scaled 2488
%
% Add to font definitions for each point size
%
\@addfontinfo\@vpt{%
\textfont\msafam=\fivemsa
\scriptfont\msafam=\fivemsa
\scriptscriptfont\msafam=\fivemsa
\textfont\msbfam=\fivemsb
\scriptfont\msbfam=\fivemsb
\scriptscriptfont\msbfam=\fivemsb
\textfont\eufmfam=\fiveeufm
\scriptfont\eufmfam=\fiveeufm
\scriptscriptfont\eufmfam=\fiveeufm}
%
\@addfontinfo\@vipt{%
\textfont\msafam=\sixmsa
\scriptfont\msafam=\sixmsa
\scriptscriptfont\msafam=\sixmsa
\textfont\msbfam=\sixmsb
\scriptfont\msbfam=\sixmsb
\scriptscriptfont\msbfam=\sixmsb
\textfont\eufmfam=\sixeufm
\scriptfont\eufmfam=\sixeufm
\scriptscriptfont\eufmfam=\sixeufm}
%
\@addfontinfo\@viipt{%
\textfont\msafam=\sevenmsa
\scriptfont\msafam=\sixmsa
\scriptscriptfont\msafam=\sixmsa
\textfont\msbfam=\sevenmsb
\scriptfont\msbfam=\sixmsb
\scriptscriptfont\msbfam=\sixmsb
\textfont\eufmfam=\seveneufm
\scriptfont\eufmfam=\sixeufm
\scriptscriptfont\eufmfam=\sixeufm}
%
\@addfontinfo\@viiipt{%
\textfont\msafam=\egtmsa
\scriptfont\msafam=\sixmsa
\scriptscriptfont\msafam=\fivemsa
\textfont\msbfam=\egtmsb
\scriptfont\msbfam=\sixmsb
\scriptscriptfont\msbfam=\fivemsb
\textfont\eufmfam=\egteufm
\scriptfont\eufmfam=\sixeufm
\scriptscriptfont\eufmfam=\fiveeufm}
%
\@addfontinfo\@ixpt{%
\textfont\msafam=\ninmsa
\scriptfont\msafam=\sixmsa
\scriptscriptfont\msafam=\fivemsa
\textfont\msbfam=\ninmsb
\scriptfont\msbfam=\sixmsb
\scriptscriptfont\msbfam=\fivemsb
\textfont\eufmfam=\nineufm
\scriptfont\eufmfam=\sixeufm
\scriptscriptfont\eufmfam=\fiveeufm}
%
\@addfontinfo\@xpt{%
\textfont\msafam=\tenmsa
\scriptfont\msafam=\sevenmsa
\scriptscriptfont\msafam=\fivemsa
\textfont\msbfam=\tenmsb
\scriptfont\msbfam=\sevenmsb
\scriptscriptfont\msbfam=\fivemsb
\textfont\eufmfam=\teneufm
\scriptfont\eufmfam=\seveneufm
\scriptscriptfont\eufmfam=\fiveeufm}
%
\@addfontinfo\@xipt{%
\textfont\msafam=\elvmsa
\scriptfont\msafam=\egtmsa
\scriptscriptfont\msafam=\sixmsa
\textfont\msbfam=\elvmsb
\scriptfont\msbfam=\egtmsb
\scriptscriptfont\msbfam=\sixmsb
\textfont\eufmfam=\elveufm
\scriptfont\eufmfam=\egteufm
\scriptscriptfont\eufmfam=\sixeufm}
%
\@addfontinfo\@xiipt{%
\textfont\msafam=\twlmsa
\scriptfont\msafam=\egtmsa
\scriptscriptfont\msafam=\sixmsa
\textfont\msbfam=\twlmsb
\scriptfont\msbfam=\egtmsb
\scriptscriptfont\msbfam=\sixmsb
\textfont\eufmfam=\twleufm
\scriptfont\eufmfam=\egteufm
\scriptscriptfont\eufmfam=\sixeufm}
%
\@addfontinfo\@xivpt{%
\textfont\msafam=\frtnmsa
\scriptfont\msafam=\tenmsa
\scriptscriptfont\msafam=\sevenmsa
\textfont\msbfam=\frtnmsb
\scriptfont\msbfam=\tenmsb
\scriptscriptfont\msbfam=\sevenmsb
\textfont\eufmfam=\frtneufm
\scriptfont\eufmfam=\teneufm
\scriptscriptfont\eufmfam=\seveneufm}
%
\@addfontinfo\@xviipt{%
\textfont\msafam=\svtnmsa
\scriptfont\msafam=\twlmsa
\scriptscriptfont\msafam=\tenmsa
\textfont\msbfam=\svtnmsb
\scriptfont\msbfam=\twlmsb
\scriptscriptfont\msbfam=\tenmsb
\textfont\eufmfam=\svtneufm
\scriptfont\eufmfam=\twleufm
\scriptscriptfont\eufmfam=\teneufm}
%
\@addfontinfo\@xxpt{%
\textfont\msafam=\twtymsa
\scriptfont\msafam=\frtnmsa
\scriptscriptfont\msafam=\twlmsa
\textfont\msbfam=\twtymsb
\scriptfont\msbfam=\frtnmsb
\scriptscriptfont\msbfam=\twlmsb
\textfont\eufmfam=\twtyeufm
\scriptfont\eufmfam=\frtneufm
\scriptscriptfont\eufmfam=\twleufm}
%
\@addfontinfo\@xxvpt{%
\textfont\msafam=\twfvmsa
\scriptfont\msafam=\twtymsa
\scriptscriptfont\msafam=\svtnmsa
\textfont\msbfam=\twfvmsb
\scriptfont\msbfam=\twtymsb
\scriptscriptfont\msbfam=\svtnmsb
\textfont\eufmfam=\twfveufm
\scriptfont\eufmfam=\twtyeufm
\scriptscriptfont\eufmfam=\svtneufm}
%
}{%                                             %% THIS MUST BE FoilTEX
% Define the AM symbol fonts at required scaling
\font\twlmsa=msam10 scaled 1200
\font\frtnmsa=msam10 scaled 1440
\font\svtnmsa=msam10 scaled 1728
\font\twtymsa=msam10 scaled 2074
\font\twfvmsa=msam10 scaled 2488
% These next three are generally not available so we could scale down to 2488
\font\thtymsa=msam10 scaled 2986
\font\thsxmsa=msam10 scaled 3583
\font\frthmsa=msam10 scaled 4300
%
% Define the BM symbol fonts at required scaling
\font\twlmsb=msbm10 scaled 1200
\font\frtnmsb=msbm10 scaled 1440
\font\svtnmsb=msbm10 scaled 1728
\font\twtymsb=msbm10 scaled 2074
\font\twfvmsb=msbm10 scaled 2488
% These next three are generally not available so we could scale down to 2488
\font\thtymsb=msbm10 scaled 2986
\font\thsxmsb=msbm10 scaled 3583
\font\frthmsb=msbm10 scaled 4300
%
% Define the Euler Fraktur fonts at required scaling
\font\twleufm=eufm10 scaled 1200
\font\frtneufm=eufm10 scaled 1440
\font\svtneufm=eufm10 scaled 1728
\font\twtyeufm=eufm10 scaled 2074
\font\twfveufm=eufm10 scaled 2488
% These next three are generally not available so we could scale down to 2488
\font\thtyeufm=eufm10 scaled 2986
\font\thsxeufm=eufm10 scaled 3583
\font\frtheufm=eufm10 scaled 4300
%
% Add to font definitions for each point size
%
\@addfontinfo\@xiipt{%
\textfont\msafam=\twlmsa
\scriptfont\msafam=\twlmsa
\scriptscriptfont\msafam=\twlmsa
\textfont\msbfam=\twlmsb
\scriptfont\msbfam=\twlmsb
\scriptscriptfont\msbfam=\twlmsb
\textfont\eufmfam=\twleufm
\scriptfont\eufmfam=\twleufm
\scriptscriptfont\eufmfam=\twleufm}
%
\@addfontinfo\@xivpt{%
\textfont\msafam=\frtnmsa
\scriptfont\msafam=\twlmsa
\scriptscriptfont\msafam=\twlmsa
\textfont\msbfam=\frtnmsb
\scriptfont\msbfam=\twlmsb
\scriptscriptfont\msbfam=\twlmsb
\textfont\eufmfam=\frtneufm
\scriptfont\eufmfam=\twleufm
\scriptscriptfont\eufmfam=\twleufm}
%
\@addfontinfo\@xviipt{%
\textfont\msafam=\svtnmsa
\scriptfont\msafam=\twlmsa
\scriptscriptfont\msafam=\twlmsa
\textfont\msbfam=\svtnmsb
\scriptfont\msbfam=\twlmsb
\scriptscriptfont\msbfam=\twlmsb
\textfont\eufmfam=\svtneufm
\scriptfont\eufmfam=\twleufm
\scriptscriptfont\eufmfam=\twleufm}
%
\@addfontinfo\@xxpt{%
\textfont\msafam=\twtymsa
\scriptfont\msafam=\frtnmsa
\scriptscriptfont\msafam=\twlmsa
\textfont\msbfam=\twtymsb
\scriptfont\msbfam=\frtnmsb
\scriptscriptfont\msbfam=\twlmsb
\textfont\eufmfam=\twtyeufm
\scriptfont\eufmfam=\frtneufm
\scriptscriptfont\eufmfam=\twleufm}
%
\@addfontinfo\@xxvpt{%
\textfont\msafam=\twfvmsa
\scriptfont\msafam=\svtnmsa
\scriptscriptfont\msafam=\frtnmsa
\textfont\msbfam=\twfvmsb
\scriptfont\msbfam=\svtnmsb
\scriptscriptfont\msbfam=\frtnmsb
\textfont\eufmfam=\twfveufm
\scriptfont\eufmfam=\svtneufm
\scriptscriptfont\eufmfam=\frtneufm}
%
\@addfontinfo\@xxxpt{%
\textfont\msafam=\thtymsa
\scriptfont\msafam=\twtymsa
\scriptscriptfont\msafam=\svtnmsa
\textfont\msbfam=\thtymsb
\scriptfont\msbfam=\twtymsb
\scriptscriptfont\msbfam=\svtnmsb
\textfont\eufmfam=\thtyeufm
\scriptfont\eufmfam=\twtyeufm
\scriptscriptfont\eufmfam=\svtneufm}
%
\@addfontinfo\@xxxvipt{%
\textfont\msafam=\thsxmsa
\scriptfont\msafam=\twfvmsa
\scriptscriptfont\msafam=\twtymsa
\textfont\msbfam=\thsxmsb
\scriptfont\msbfam=\twfvmsb
\scriptscriptfont\msbfam=\twtymsb
\textfont\eufmfam=\thsxeufm
\scriptfont\eufmfam=\twfveufm
\scriptscriptfont\eufmfam=\twtyeufm}
%
\@addfontinfo\@xliiipt{%
\textfont\msafam=\frthmsa
\scriptfont\msafam=\thtymsa
\scriptscriptfont\msafam=\twfvmsa
\textfont\msbfam=\frthmsb
\scriptfont\msbfam=\thtymsb
\scriptscriptfont\msbfam=\twfvmsb
\textfont\eufmfam=\frtheufm
\scriptfont\eufmfam=\thtyeufm
\scriptscriptfont\eufmfam=\twfveufm}
}
\endinput

 

