% 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}