% astro.sty: LaTeX style option to load CMASTRO fonts and define the symbols
%
% NOTE: uses the old font selection scheme...
%
\input astro.tex
%
\def\astro{\protect\pastro}
%
\@addfontinfo\@vpt{%
 \def\pastro{\fam\astrofam\fiveastro}\textfont\astrofam=\fiveastro
 \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@vipt{%
 \def\pastro{\fam\astrofam\sixastro}\textfont\astrofam=\sixastro
 \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@viipt{%
 \def\pastro{\fam\astrofam\sevenastro}\textfont\astrofam=\sevenastro
 \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@viiipt{%
 \def\pastro{\fam\astrofam\eightastro}\textfont\astrofam=\eightastro
 \scriptfont\astrofam=\sixastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@ixpt{%
 \def\pastro{\fam\astrofam\nineastro}\textfont\astrofam=\nineastro
 \scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@xpt{%
 \def\pastro{\fam\astrofam\tenastro}\textfont\astrofam=\tenastro
 \scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@xipt{%
 \def\pastro{\fam\astrofam\elevenastro}\textfont\astrofam=\elevenastro
 \scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
%
\@addfontinfo\@xiipt{%
 \def\pastro{\fam\astrofam\twelveastro}\textfont\astrofam=\twelveastro
 \scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
%
\@addfontinfo\@xivpt{%
 \def\pastro{\fam\astrofam\fourteenastro}\textfont\astrofam=\fourteenastro
 \scriptfont\astrofam=\tenastro \scriptscriptfont\astrofam=\sevenastro}
%
\@addfontinfo\@xviipt{%
 \def\pastro{\fam\astrofam\seventeenastro}\textfont\astrofam=\seventeenastro
 \scriptfont\astrofam=\twelveastro \scriptscriptfont\astrofam=\eightastro}
%
\@addfontinfo\@xxpt{%
 \def\pastro{\fam\astrofam\twentyastro}\textfont\astrofam=\twentyastro
 \scriptfont\astrofam=\fourteenastro \scriptscriptfont\astrofam=\twelveastro}
%
\@addfontinfo\@xxvpt{%
 \def\pastro{\fam\astrofam\twentyfiveastro}\textfont\astrofam=\twentyfiveastro
 \scriptfont\astrofam=\seventeenastro \scriptscriptfont\astrofam=\fourteenastro}